求闻百科
搜索
切换搜索
切换菜单
切换个人菜单
模板
:
集合论
模板页面
更多语言
阅读
查看源代码
查看历史
模板
讨论
更多操作
查
论
编
集合论
公理
选择
可数
相关
外延
无穷
配对
幂集
正则性
并集
马丁公理
公理模式
替代
分类
运算
笛卡儿积
德摩根定律
交集
幂集
补集
对称差
并集
概念
方法
势
基数
(
大基数
)
类
可构造全集
连续统假设
对角论证法
元素
有序对
多元组
集合族
力迫
一一对应
序数
超限归纳法
文氏图
集合
类型
可数集
空集
有限集合
(
继承有限集合
)
模糊集
无限集合
递归集合
子集
传递集合
不可数集
泛集
理论
可替代的集合论
集合论
朴素集合论
康托尔定理
策梅洛
广义
数学原理
新基础
策梅洛-弗兰克
冯诺伊曼-博内斯-哥德尔
Morse–Kelley
克里普克–普拉特克
塔斯基–格罗滕迪克
悖论
问题
罗素悖论
萨斯林问题
ZFC系统无法确定的命题列表
集合论者
亚伯拉罕·弗兰克尔
伯特兰·罗素
恩斯特·策梅洛
格奥尔格·康托尔
约翰·冯·诺伊曼
库尔特·哥德尔
卢菲特·泽德
保尔·贝尔奈斯
保罗·寇恩
理查德·戴德金
托马斯·耶赫
威拉德·蒯因
模板文档
[
清除缓存
]
如何控制本模板的显示状态
无论您使用什么参数,模板都是展开的,所以请直接移除
state
参数。
Template:Logic templates
上述文档内容由模板本身直接提供,请查看页面源代码。
编者可以在本模板的沙盒
(
创建
|
镜像
)
和测试样例
(
创建
)
页面进行实验。
请将模板自身所属的分类添加在文档中。
本模板的子页面
。