>>449=>>456ですか？
たびたびすいません。もう少しだけ教えてほしいのです。

つまり、
>>{と}と,以外のものが出てくるわけではない。
というのはゲーテルナンバーのことなんですか？

で、まあ、これを考えると少し哲学っぽくなるかもしれないのですが。
数学基礎論・記号論でははじめに自然数ありきで話をしてますよね。
しかし、公理系とか無定義語とか考えて（実際に）数学するときは、
自然数は公理から作られるものであるべきだと思います。

ですから、基礎論を数学の一分野として考えるなら、
はじめに公理ありき、自然数を公理から作りこれにより
「{」「と」「}」等ゲーテル数が作られるものだと思います。
この考え方は間違っているでしょうか？