Category:集合論
全順序
Total order
逆写像
Inverse function
推移関係
Transitive relation
連続体濃度
Cardinality of the continuum
上極限と下極限
Limit inferior and limit superior
集合の分割
Partition of a set
空関数
Empty function
グッドスタインの定理
Goodstein's theorem
デデキント無限
Dedekind-infinite set
定義可能実数
Definable real number
正則性公理
Axiom of regularity
整礎的集合
集合間の関係を表す記号
ダイヤモンド原理
Diamond principle
外延
Extension (semantics)
和集合の公理
Axiom of union
帰納的集合
Computable set
スコットのトリック
Scott's trick
順序型
Order type
ソロヴェイモデル
Solovay model
ZFCから独立な命題の一覧
List of statements independent of ZFC
ハウスドルフのパラドックス
Hausdorff paradox
クレパ木
Kurepa tree
始順序数
Von Neumann cardinal assignment
定常集合
Stationary set
Club集合
Club set
共終数
Cofinality
テューキーの補題
Teichmüller–Tukey lemma