最小の非可算順序数
連続体仮説とは『連続濃度はω1の濃度と等しい』という命題で、19世紀にカントルによって提唱された。現在では、ZFCにおいて証明も反証もできない命題であることが知られている。この仮説との関連で、ω1 のべき集合 P ( ω 1 ) {\displaystyle {\mathcal {P}}(\omega _{1})} の構造も研究されている。