>>339
コメントありがとうございます。
>それと帰納法の公理はほぼ同じことを言ってます
私が言ってるのは、逆方向の帰納法ですね
>超準な要素を含まない標準的自然数の集合を定義できると言いたいのであれば
そう言いたいのですが
>実際やってみると案外難しい
再帰的に定義すれば簡単に定義できると思うのですが、
しかし標準的自然数の集合を定義できるとすれば、多分不完全性定理を含む
多くのことが崩壊するでしょうから、どこがどう間違っているのか分らないの
です。再帰的定義のところが間違いなのでしょうか