実数ってきちんと外延が確定してるようでいて、
実のところはいまいち確定してなさそうな概念なんだよね。
「自然数の部分集合全体」と同一視出来るから。

ZFCから独立な実数に関する命題はたくさんある。
ちなみに「自然数上の整列順序全体」というのも
やはり外延が確定していない印象を受ける。
上が2^ωだったのに対してこちらはω_1と書く。