探索
探索
讲义
小文章
讨论室
写作
写作
新页面
写作计划
上传文件
搜索
搜索
个人工具
创建账户
登录
通知
名字空间
讲义
讨论
视图
查看
查看源代码
历史
讲义:
集合论进阶 A. 公理集合论基础 (OperatorP)
上一节:
2.4. 扩展语言中的基础与基本
下一节:
3.1. 自然数与归纳法
TeX 导言:
集合论进阶 A. 公理集合论基础 (OperatorP)/preamble
3. 自然数与有限性
此章具备严重问题, 作者正在修改.