13/12/05 21:45:43.03
>>343
>自然数論の形式的な論理式がどういうものかご存知ですか？
一応分っているつもりです。
>そもそも「標準的自然数」とは何なのかも理解できません。
まずは、あの0,1,2,3,...のことだという理解でよいのではないですか？
>342は、「"いずれ"0に到達できる」、ということを表現できていないように思います。
Nat(x) <==> x=0 ∨∃y.(x=y+1 ∧ Nat(y))
と書いた方がよかったかもしれません。
<==>ですから、これでωはNatの集合から排除できると思います。
そしてこの式は、「"いずれ"0に到達できる」ことも言っていると思うのですが。
「"いずれ"0に到達できる」ということをメタレベルで表現しているのではありませんが、その必要はないですよね？
>＞再帰的定義のところが間違いなのでしょうか
>仰るとおりです。
上のように少し補正しましたが、どこで間違っているのかまだ分かりません。