求闻百科
搜索
切换搜索
切换菜单
切换个人菜单
查看“Template:集合论/sandbox”的源代码
模板页面
更多语言
模板
讨论
更多操作
←
Template:集合论/sandbox
因为下列原因,您没有权限编辑该页面。请逐条确认下列问题是否解决后再试。
您所请求的操作,仅限具有
注册用户
权限的
用户
执行。
若您尚未登录求闻百科账号,请您
登录
求闻百科账号后操作。
您尚未完成实名制验证,因此操作受限。请尽快
完成实名制验证
,或联系
裁决委员会
以
获取操作权限
。
注:若您是非中国大陆用户,您应当联络电子邮件staff
qiuwen.org以获得帮助。
您尚未完成
电子邮件确认
,因此操作受限,请尽快
完成电子邮件确认
。
若您无法完成前述手续,请参考
帮助文档
,或通过适当渠道请求管理员或裁决委员协助。
根据《中华人民共和国网络安全法》规定,您必须
登录您的账号
才能编辑求闻百科页面。
若您无法完成前述手续,请通过适当渠道请求管理员或裁决委员协助。
您可以查看和复制此页面的源代码。
若您无权编辑本页面,您可以
提出编辑请求
,提请有权限者代为编辑。
{{Navbox | name = 集合论 | title = [[集合论]] | listclass = hlist <!------------------- Axioms --------------------> | group1 = [[公理]] | list1 = * [[选择公理|选择]] ** [[可数选择公理|可数]] ** {{le|相关选择公理|Axiom of dependent choice|相关}} * [[外延公理|外延]] * [[无穷公理|无穷]] * [[配对公理|配对]] * [[幂集公理|幂集]] * [[正则性公理|正则性]] * [[并集公理|并集]] * {{le|马丁公理|Martin's axiom}} * [[公理模式]] ** [[替代公理|替代]] ** [[分类公理|分类]] <!----------------- Operations ------------------> | group2 = [[集合(数学)|运算]] | list2 = * [[笛卡儿积]] * [[德摩根定律]] * [[交集]] * [[冪集]] * [[补集]] * [[对称差]] * [[并集]] <!------------- Concepts, methods ---------------> | group3 = {{hlist|概念|方法}} | list3 = * [[势(数学)|势]] * [[基数(数学)|基数]]([[大基数]]) * [[类(数学)|类]] * {{le|可构造全集|Constructible universe}} * [[连续统假设]] * [[對角論證法]] * [[元素(數學)|元素]] ** [[有序对]] ** [[多元组]] * [[集合族]] * [[力迫]] * [[双射|一一对应]] * [[序数]] * [[超限归纳法]] * [[文氏图]] <!----------------- Set types -------------------> | group4 = [[集合(数学)|集合]]类型 | list4 = * [[可数集|可數集]] * [[空集]] * [[有限集合]]([[继承有限集合]]) * [[模糊集]] * [[无限集合]] * [[递归集合]] * [[子集]] * [[传递集合]] * [[不可數集]] * {{le|泛集|Universal set}} <!------------------ Theories -------------------> | group5 = 理论 | list5 = * [[可替代的集合论]] * [[集合论]] * [[朴素集合论]] * [[康托尔定理]] <!--(By derivation or/then chronology:)--> * [[策梅洛集合论|策梅洛]] <!--(1908)--> ** {{le|广义集合论|General set theory|广义}} <!--(1998)--> * ''[[数学原理]]'' <!--(1910s)--> ** [[新基础集合论|新基础<!--{{smaller|(NF, NFU)}}-->]] <!--(axiomatic, 1937/1960s)--> * [[策梅洛-弗兰克尔集合论|策梅洛-弗兰克<!--{{smaller|(ZFC)}}-->]] <!--(axiomatic, 1920s)--> ** [[冯诺伊曼-博内斯-哥德尔集合论|冯诺伊曼-博内斯-哥德尔<!--{{smaller|(NBG)}}-->]] <!--(axiomatic, 1920s–50s, conservative)--> *** {{le|Morse–Kelley集合论|Morse–Kelley set theory|Morse–Kelley}} <!--(axiomatic, 1949–60s, non-conservative)--> ** {{le|克里普克–普拉特克集合论|Kripke–Platek set theory|克里普克–普拉特克}} <!--(axiomatic, 1960s)--> ** {{le|塔斯基–格罗滕迪克集合论|Tarski–Grothendieck set theory|塔斯基–格罗滕迪克}} <!--(axiomatic, 1980s?, non-conservative)--> <!------------- Paradoxes, problems -------------> | group6 = {{hlist|{{le|集合论悖论|Paradoxes of set theory|悖论}}|问题}} | list6 = * [[罗素悖论]] * {{le|萨斯林问题|Suslin's problem}} * [[ZFC系統無法確定的命題列表]] <!---------------- Set theorists ----------------> | group7 = [[:Category:集合論者|集合論者]] | list7 = * {{le|亚伯拉罕·弗兰克尔|Abraham Fraenkel}} * [[伯特兰·罗素]] * [[恩斯特·策梅洛]] * [[格奥尔格·康托尔]] * [[约翰·冯·诺伊曼]] * [[库尔特·哥德尔]] * [[盧菲特·澤德]] * {{le|保尔·贝尔奈斯|Paul Bernays}} * [[保罗·寇恩]] * [[理查德·戴德金]] * {{le|托马斯·耶赫|Thomas Jech}} * [[威拉德·冯·奥曼·蒯因|威拉德·蒯因]] }}