首頁
隨機
附近
登入
設定
資助維基百科
關於維基百科
免責聲明
搜尋
模板
:
集合論
語言
監視
編輯
閱
論
編
集合論
公理
選擇
可數
依賴
外延
無窮
配對
冪集
正則性
併集
馬丁公理
公理模式
替代
分類
運算
笛卡兒積
德摩根定律
交集
冪集
補集
對稱差
併集
概念
方法
勢
基數
(
大基數
)
類
可構造全集
(
英語
:
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
編者可以在本模板的沙盒
(
建立
|
鏡像
)
和測試樣例
(
建立
)
頁面進行實驗。
本模板的子頁面
。