暇つぶし2chat MATH

- 暇つぶし2ch88:１３２人目の素数さん
17/10/28 10:12:25.55 MCAUNIig.net
>>68-69
耄碌爺さんには是非以下を示してもらいたいもんだ
「ペアノの自然数の公理から矛盾を導く証明」
最後の箱がある、ってことは、最後の自然数がある、ってこと
つまり、N＋１が存在しない自然数Nがあるってこと　だからな
耄碌爺さんの”直観”とかいう妄想でなく
論理による証明としてそのことを示してくれ
自然数論が矛盾するんなら、たしかに「箱入り無数目」は無意味だな
つーか、現代数学そのものが完全に無意味になるけどなｗｗｗ