求闻百科
搜尋
切換搜尋
切換菜單
切換個人選單
模板
:
集合論
模板頁面
更多語言
閱讀
檢視原始碼
檢視歷史
模板
討論
更多操作
閱
論
編
集合論
公理
選擇
可數
相關
外延
無窮
配對
冪集
正則性
併集
馬丁公理
公理模式
替代
分類
運算
笛卡兒積
德摩根定律
交集
冪集
補集
對稱差
併集
概念
方法
勢
基數
(
大基數
)
類
可構造全集
連續統假設
對角論證法
元素
有序對
多元組
集合族
力迫
一一對應
序數
超限歸納法
文氏圖
集合
類型
可數集
空集
有限集合
(
繼承有限集合
)
模糊集
無限集合
遞歸集合
子集
傳遞集合
不可數集
泛集
理論
可替代的集合論
集合論
樸素集合論
康托爾定理
策梅洛
廣義
數學原理
新基礎
策梅洛-弗蘭克
馮諾伊曼-博內斯-哥德爾
Morse–Kelley
克里普克–普拉特克
塔斯基–格羅滕迪克
悖論
問題
羅素悖論
薩斯林問題
ZFC系統無法確定的命題列表
集合論者
亞伯拉罕·弗蘭克爾
伯特蘭·羅素
恩斯特·策梅洛
格奧爾格·康托爾
約翰·馮·諾伊曼
庫爾特·哥德爾
盧菲特·澤德
保爾·貝爾奈斯
保羅·寇恩
理查德·戴德金
托馬斯·耶赫
威拉德·蒯因
模板文件
[
清除快取
]
如何控制本模板的顯示狀態
無論您使用什麼參數,模板都是展開的,所以請直接移除
state
參數。
Template:Logic templates
上述文檔內容由模板本身直接提供,請查看頁面原始碼。
編者可以在本模板的沙盒
(
創建
|
鏡像
)
和測試樣例
(
創建
)
頁面進行實驗。
請將模板自身所屬的分類添加在文檔中。
本模板的子頁面
。