探索
探索
讲义
小文章
讨论室
写作
写作
新页面
写作计划
上传文件
搜索
搜索
个人工具
创建账户
登录
通知
名字空间
讲义
讨论
视图
查看
查看源代码
历史
讲义:
集合论进阶 A. 公理集合论基础 (OperatorP)
上一节:
7.4. 无穷逻辑及其语义
下一节:
8.1. 世界基数及其强化
TeX 导言:
集合论进阶 A. 公理集合论基础 (OperatorP)/preamble
8. 世界与不可达
我们最后引入最简单的两个大基数, 它们垫在一致性强度层谱的底端.