>>723-728
(引用開始)
「無限順序数ωの推移的フォン・ノイマンモデルでは、
　集合論の二項帰属関係∈は自然数の厳密な順序<を正確にモデル化する
　すると、集合∈帰納法から導かれる原理は数学的帰納法となる」
この程度の初歩のことも分からんとか、正真正銘のidiot
(引用終り)

”idiot”ね
おサルさん、君のと出会いの冒頭は、”idiot”だった
君は、数学科修士卒の触れ込みだった
私が、「数学科修士卒だったら、”箱入り無数目”不成立 rio2016.5ch.net/test/read.cgi/math/1731325608/
分かるだろう？」と言ったら

君は、「”箱入り無数目”成立が分からないのは、”idiot”」だとか
アホぬかす。2016年の中ごろの出会いだったかなｗ ；ｐ）

”数学科修士卒の触れ込み”は、その実 某私大数学科3年から落ちコボレで
修士は情報系に逃げて、基礎論自慢で 『基礎論婆』と呼ばれる ；ｐ）

だが、自慢の基礎論がこのザマだｗ。基礎論も、落ちコボレ レベルだったｗ
ZFCの中に 自然数Nが構築できるのは 当たり前も当たり前のこと
その上で、自然数Nを超えて、カントールの順序数が ”二項帰属関係∈”を使って構築できるとしたのが
ノイマンの正則性公理のミソなのですｗ
だから、数学的帰納法のみならず、それを超えて 順序数による超限帰納法も再現できているってことよ ；ｐ）

つづく