「一階の集合論（一階述語論理）の言葉でグーゴル個以内の記号で表現できるいかなる有限の正の整数よりも大きな最小の正の整数」
……これ表現できない系だよな。我々がよく知るふぃっしゅ数とかの再帰的定義より明らかに大きい。
やはり巨大数界隈と妄想最強界隈は似ている部分があるな。
再帰的UNKO関数考察
UNKO(0)=1,ANKO(0)=0
UNKO(1)=1,ANKO(1)=1+UNKO(0)=2
UNKO(2)=2^ANKO(1)=4
1<=nで
UNKO(2n+2)=(2n+2)^ANKO(2n+1)=(2n+2)^(2n+1+UNKO(2n))
1<=n<=50で、
UNKO(2n)+2n+1<100↑↑nを証明する。
n=1の時UNKO(2)+3<100より成立
n=k(1<=k<=49)でUNKO(2k)+2k+1<100↑↑kとすると
UNKO(2k+2)=(2k+2)^(2k+1+UNKO(2k))<100^(100↑↑k)=100↑↑(k+1)
よってn=k+1でも成立。
UNKO(100)<100↑↑50<100↑↑100
宇宙生存はこの大きさなら大差ない。
よって百式乗数直下
