>>164
>ということなのだが、そんなこといっても選択公理を使わないと
たしか集合論の宇宙Vの部分クラスである
ゲーデルの定義した構成可能宇宙Lでは選択公理とGCHが成立することが証明できるんじゃなかったっけ？違ったかも？自分覚えてるのはV=Lを公理として認めるとCとGCHが定理になるってこと
だからもうV=Lでイイじゃんって思うんだよな
選択小売りは自由に使えてGCH成り立つから到達不能基数みたいな訳ワカランものも無くてグロタン宇宙は存在しない
で平和じゃん
こうで無いモノを考えていけないわけではないが
それは非ユークリッド幾何みたいなもんで
オーソドクスはV=Lでイイじゃん