>>466

X は以下の集合です。

Proposition: There is an uncountable set X that is well ordered by a relation < in such a way that:

i. There is a last element Ω in X.
ii. If x ∈ X and x ≠ Ω, then the set {y ∈ X : y < x} is countable.