>>62
>問題は、これが 公理的集合論として 自然数の集合Nになっているか
N＝ωは証明済みだから、仮に自然数の集合になってないとしたらωもそうだよｗ

>それについて どの公理を使ったかを明示しながらの証明が必要だよね 公理的集合論としては
君は証明できるかい？　何なら教えてあげようか？

>さて、下記 独仏英wikipedia と Akito Tsuboi 筑波大と 渕野 昌の５者は、∩を使わない。∩を使わないで済ましているよ
だから？

>>63
>分出公理により，N = {n ∈ On : n は自然数 }は集合になる．
それだめｗ
自然数を構成するのに自然数を使ったらダメでしょｗ　君、いつも循環論法やらかすね　頭悪いね
Onとは？

>上記 ”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”は、まずいよね。どの公理を使っているかが 不明確だ
無限公理、空集合の公理、対の公理、和集合の公理、分出公理
ぜんぜん明確じゃん　また言いがかり？

>すなおに 上記の５者同様に ∩を使わずに済ませるのが 賢明でしょ！
それってあなたの感想ですよね？　馬鹿に感想を述べる権利は無いよ　馬鹿はトンチンカンな感想しか述べないから