19/03/03 16:12:51.05 5O84tGbv.net
整列可能定理から超限帰納法は導けない
例えば実数の集合が整列可能だとは言えるが
具体的にどの順序数かはZFCでは言えない
連続体仮説
「連続体仮説（れんぞくたいかせつ、Continuum Hypothesis, CH）とは、
可算濃度と連続体濃度の間には他の濃度が存在しないとする仮説。
19世紀にゲオルク・カントールによって提唱された。
現在の数学で用いられる標準的な枠組み（＝ZFC)のもとでは
「連続体仮説は証明も反証もできない命題である」ということが
明確に証明されている。」
（ウィキペディア）
実数が整列可能�