>>17
可算順序数全体の集合ω_1は自然数と一対一対応できない