>>372
別に矛盾しないだろ。
1レスの文字数上限が決まっているので、
1レスで作れるプログラムも有限個しかない。
その中の >>1 の条件に当てはまるものの戻り値の最大値
が「1レスで作れる最大の数」になる。
>>1 のように適切に言語を制限すればベリーのパラドックスは発生しない。
(ISO/IEC 14882:2003 という言語に曖昧な部分が無いという仮定 は必要)

その最大値がどのくらいの大きさの数かを知るすべは無いとは思うが。