画像の5<ᴱˣ(…𝔂,5)の段階で(3,X,3)のXは高々ωという上限から「みくみく順序数」にまで拡張されます。で、この拡張を無限に行える...　というのをさらにみくみく順序数回繰り返す...　というのがGargantuaです。これがうまく定義出来てた時の大きさの予想は全く私にはわかりませんが。もしかしたら、

(3,(∞…,3,3,5),3) = (3,(3,5,3,5),3)

で、小ヴェブレン順序数に到達、その後は全く想像できませんが、 「小ヴェブレン順序数」の上には「大ヴェブレン順序数」さらにその上の「バッハマン・ハワード順序数」さらには「竹内・フェファーマン・ブーフホルツの順序数」とあり、現在に日本の巨大数論は、既にこの遥か上の所で競い合ってますので、なかなか先は遠いですが...ここで小ヴェブレン順序数に到達してくれれば、と、淡い期待を持っています。