暇つぶし2chat MATH

- 暇つぶし2ch774:ｳ限集合の存在性は命題ではないからだ。命題ではないから正しい（真）正しくない（偽）を論ずることはできない。だから現代数学は無限集合の存在を公理でうたっている。無限集合が存在するとするか否かは「どちらがより豊かで有益な数学を構築できるか」の話だ。だから無限集合が存在しないとした方が豊かで有益な数学を構築できるとお前が思うならお前が構築すればいいだけなのだよ。俺たちは現代数学を受け入れているからそんなアホなことはしないけどね。