查看“︁第一个不可数序数”︁的源代码

[[分类:序数理论]]{{DEFAULTSORT:di4yi1ge4bu4ke3shu3xu4shu4}}
{{#seo:
|keywords=第一个不可数序数, ω₁
|description=本文关于第一个不可数序数，即ω₁，介绍了其定义和性质。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2025-10-12
}}
{{InfoBox
|name=欧米伽一
|eng_name=omega-one
|aliases=第一个不可数序数
}}
{{Identity
|name=第一个不可数序数
|symbol=<math>\omega_1</math>
|latex=\omega_1
|type=序数
}}
第一个不可数序数，记作 <math>\omega_1</math> ，是最小不可数[[良序集]]的[[序型]]，即[[序数]]，表示所有可数序数构成的良序集的序型。

* 是第一个不可数序数，是全部可数序数的上确界。
* 是可数序数与不可数序数的分界线，一个无限序数小于 <math>\omega_1</math> 当且仅当其是可数序数。
* 是不可数序数。
* 对应[[基数]]为[[第一个不可数基数]]。