数学基礎論スレのスレタイを決めるスレ
■ このスレッドは過去ログ倉庫に格納されています
0239132人目の素数さん
2011/11/04(金) 06:10:42.61>「集合全体の集まりも集合であるべきだ」とか
>「数学全体の無矛盾性は数学によって証明されるべきだ」とか
>いかにも当然のように語るが、その発想がパラドックスを生む
>ことは頑として認めたがらない。
後者はともかく前者は厨二病の症状を疑うに十分だ。
「数学とはZFCで形式化されたものである」とか思ってる?
それとも単に素人なだけ?「集合全体の集まりも集合」というだけではパラドックスは起きないよ。
■ このスレッドは過去ログ倉庫に格納されています