13/12/06 19:44:08.88
＞ここの永遠に続くをどう扱うかが問題なのかもしれません。
そうです。
＞明らかに区別できます。
>>343で述べたように、その「明らか」が実は明らかどころか間違っています。
「意味論semantics」と「構文論syntax」の違い、とか
メタ理論と対象の理論（地の理論）の違いとか、そういう話は聞いたことありますか？
標準的自然数の定義はメタ理論的には可能と言ってよいですが、
対象理論のなかではできないのです。
＞しかし標準的自然数の集合を定義できるとすれば、
＞多分不完全性定理を含む多くのことが崩壊するでしょう
これは正しいのですが、こっちの「定義」は対象理論の中での定義でなければなりません。
つまりペアノ算術の論理式で定義するという意味です。この意味での定義は不可能です。