「ｎ文字で最強の数」という定義は「ベリーのパラドクス」持つため定義できないことが知られています。

そのパラドクスを回避したのが「ラヨ数」です。「ラヨ数」は扱う言語を「集合論」に限定しました。しかし「公理」が指定される必要があるそうです。

以下は私の「聞きかじり」でしかありませんが、例えば「公理」は「矛盾してもＯＫ」であるため、例えば「0=1」だとかの「なんでもあり」の条件下では「何でも証明可能」であり、数学的に一意な値がとれないらしい。