現代数学の系譜　カントル　超限集合論2

現代数学の系譜　カントル　超限集合論2at MATH

現代数学の系譜　カントル　超限集合論2 - 暇つぶし2ch733:１３２人目の素数さん
20/03/26 19:59:07 /vnWknlA.net
>>670とは関係ないが・・・

∞が超準自然数だとしても「箱入り無数目」の障害にはならない

∞が最大の元となる場合のみ「箱入り無数目」の障害となるが、
最大の元としての∞はペアノの公理の１つである後者の存在と
矛盾するのであり得ない

次ページ