- 411 名前：１３２人目の素数さん mailto:sage [2021/10/19(火) 20:38:39.24 ID:TByB8cjK.net]
- >>373
> 19世紀以前の数学が、定義なしに研究された結果
>おかしな結論を導くようになってきたから、
>そういう不都合を無くすために定義を明確化する方法に進み、
>結果として出来上がったのが現代数学だってこと理解してる？
間違っている
カントールが無限の概念を素朴集合論で研究した
しかし、カントールの結果は正しかったが、
副産物で、素朴集合論ではパラドックスを生じることが分かった
一例が、バートランドラッセルのパラドックスだ（下記）
また、パラドックスを生じないためには、
20世紀前半では、一階の述語論理に�
