跳转到内容
主菜单
主菜单
移至侧栏
隐藏
导航
首页
分类索引
特色内容
新闻动态
最近更改
随机条目
资助维基百科
帮助
帮助
维基社群
方针与指引
互助客栈
知识问答
字词转换
IRC即时聊天
联络我们
关于维基百科
搜索
搜索
外观
创建账号
登录
个人工具
创建账号
登录
未登录编辑者的页面
了解详情
贡献
讨论
模板
:
集合论
15种语言
Čeština
English
فارسی
Bahasa Indonesia
Italiano
日本語
한국어
മലയാളം
Português
Русский
Simple English
Slovenčina
Українська
Tiếng Việt
粵語
编辑链接
模板
讨论
新加坡简体
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
阅读
编辑
查看历史
工具
工具
移至侧栏
隐藏
操作
阅读
编辑
查看历史
常规
链入页面
相关更改
上传文件
特殊页面
固定链接
页面信息
获取短链接
下载二维码
维基数据项目
打印/导出
下载为PDF
打印版本
外观
移至侧栏
隐藏
维基百科,自由的百科全书
查
论
编
集合论
公理
选择
可数
依赖
外延
无穷
配对
幂集
正则性
并集
马丁公理
公理模式
替代
分类
运算
笛卡儿积
德摩根定律
交集
幂集
补集
对称差
并集
概念
方法
势
基数
(
大基数
)
类
可构造全集
(
英语
:
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
编者可以在本模板的沙盒
(
创建
|
镜像
)
和测试样例
(
创建
)
页面进行实验。
本模板的子页面
。
分类
:
Logic templates
Mathematics navigational boxes