15/04/13 03:17:49.76 IzkPZSwy.net
>>105
お～い、まだ気付いていないようだけど、>>46や>>50は、本当はおっちゃんね。
>>50での証明は、大体の基本方針を書いただけ。体の拡大R/Qの次数の問題は[R;Q]＝+∞で済んでるよ。
連続体仮説の問題があるから、可算無限次元とか非可算無限次元という
無限を区別するようないい方をすると、日常言語で書く数学が出来なくなるんだよ。
そのようないい方を使う言語での数学をすると、排中律を認める限り、
可算無限次元か「非」可算無限次元に区別されてしまう。同じ無限+∞を日常言語で書いた場合、
可算無限次元でないとしたら非可算無限次元というより他ないだろう。
つまり、連続体仮説を偽とする前提で数学をすることになる。