还是有关阿列夫一的 - 汪峰在吧

level 10

唐笑源楼主

叠阿列夫一最简便的方法就是说大于所有可数序数吧，没有构造出所有可数序数，直接说大于能认吗
这种东西算名词流吗？
**ω₁ = sup{ α : α 是可数序数 }**
（即 ω₁ 是所有可数序数集合的最小上界）
- **ω₁ = min{ β : |β| > ℵ₀ }**
（即 ω₁ 是首个不可数序数）

2025年06月30日 14点06分 1

level 15

道存我心

淼

2025年06月30日 16点06分 2

level 13

永远是那个终点

不知道

2025年06月30日 23点06分 3