首页
随机
附近
登录
设置
资助维基百科
关于维基百科
免责声明
搜索
模板
:
集合论
语言
监视
编辑
查
论
编
集合论
公理
选择
可数
依赖
外延
无穷
配对
幂集
正则性
并集
马丁公理
公理模式
替代
分类
运算
笛卡儿积
德摩根定律
交集
幂集
补集
对称差
并集
概念
方法
势
基数
(
大基数
)
类
可构造全集
(
英语
:
Constructible universe
)
连续统假设
对角论证法
元素
有序对
元组
集合族
力迫
一一对应
序数
超限归纳法
文氏图
集合
类型
可数集
空集
有限集合
(
继承有限集合
)
模糊集
无限集合
递归集合
子集
传递集合
不可数集
泛集
(
英语
:
Universal set
)
理论
可替代的集合论
集合论
朴素集合论
康托尔定理
策梅洛
广义
(
英语
:
General set theory
)
《
数学原理
》
新基础
策梅洛-弗兰克
冯诺伊曼-博内斯-哥德尔
Morse–Kelley
(
英语
:
Morse–Kelley set theory
)
克里普克–普拉特克
(
英语
:
Kripke–Platek set theory
)
塔斯基–格罗滕迪克
(
英语
:
Tarski–Grothendieck set theory
)
悖论
(
英语
:
Paradoxes of set theory
)
问题
罗素悖论
苏斯林问题
ZFC系统无法确定的命题列表
集合论者
亚伯拉罕·弗兰克尔
伯特兰·罗素
恩斯特·策梅洛
格奥尔格·康托尔
约翰·冯·诺伊曼
库尔特·哥德尔
卢菲特·泽德
保罗·贝尔奈斯
(
英语
:
Paul Bernays
)
保罗·寇恩
理查德·戴德金
托马什·耶赫
威拉德·蒯因
模板文档
如何控制本模板的显示状态
使用
{{集合论|collapsed}}
使本模板显示为折叠(隐藏)状态。
使用
{{集合论|expanded}}
使本模板显示为展开(显示)状态。
使用
{{集合论|autocollapse}}
使本模板
仅在
页面上有其他相同类型的模板时,显示为折叠(隐藏)状态。
collapsed
已被设为默认状态。
Template:Logic templates
编者可以在本模板的沙盒
(
创建
|
镜像
)
和测试样例
(
创建
)
页面进行实验。
本模板的子页面
。