数学徒「∞は数じゃない」ルベーグ積分「測度は∞」

ZFCではRの整列順序は一つも決められない。
仮にそうでないとしたら、選択関数を構成できることになるから、CがZFから独立であることと矛盾する。