Similar to 外延
カントールの対角線論法
Cantor's diagonal argumentカントールの定理
Cantor's theorem基数
Cardinal number帰納的集合
Computable set共終数
Cofinality許容順序数
Admissible ordinal空関数
Empty functionグッドスタインの定理
Goodstein's theoremクラス (集合論)
Class (set theory)Club集合
Club setクレパ木
Kurepa tree公理的集合論
Set theory#Axiomatic set theoryジェネリックフィルター
Generic filter自己言及のパラドックス
Liar paradox指示関数
Indicator function始順序数
Von Neumann cardinal assignment写像の合成
Function composition集合間の関係を表す記号
集合の分割
Partition of a set集合被覆問題
Set cover problem順序型
Order type順序対
Ordered pair上極限と下極限
Limit inferior and limit superior推移関係
Transitive relation推移的集合
Transitive setスコットのトリック
Scott's trick正則性公理
Axiom of regularity整礎的集合