Kamus

最小の非可算順序数（英: First uncountable ordinal）ω1の存在は、選択公理によらずに示すことができる（ハルトークス数を参照）。ω1は極限順序数で、すべての可算な順序数を含む非可算集合である。ときに Ω とも表記される。その濃度は最小の非可算基数 ℵ1 に等しい。