跳至內容
主選單
主選單
移至側邊欄
隱藏
導覽
首頁
分類索引
特色內容
新聞動態
近期變更
隨機條目
說明
說明
維基社群
方針與指引
互助客棧
知識問答
字詞轉換
IRC即時聊天
聯絡我們
關於維基百科
搜尋
搜尋
外觀
資助維基百科
建立帳號
登入
個人工具
資助維基百科
建立帳號
登入
用於已登出編輯者的頁面
了解更多
貢獻
討論
模板
:
集合論
15 種語言
Čeština
English
فارسی
Bahasa Indonesia
Italiano
日本語
한국어
മലയാളം
Português
Русский
Simple English
Slovenčina
Українська
Tiếng Việt
粵語
編輯連結
模板
討論
繁體
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
閱讀
編輯
檢視歷史
工具
工具
移至側邊欄
隱藏
操作
閱讀
編輯
檢視歷史
一般
連結至此的頁面
相關變更
上傳檔案
特殊頁面
固定連結
頁面資訊
取得短網址
下載QR碼
列印/匯出
下載為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