Category:集合論
集合間の関係を表す記号
連続体仮説
Continuum hypothesis
連続体濃度
Cardinality of the continuum
集合論
Set theory
全順序
Total order非可算集合
Uncountable set無限公理
Axiom of infinity
メレオロジー
Mereology
リシャールのパラドックス
Richard's paradox
写像の合成
Function composition
対関数
Pairing function
モストフスキ崩壊補題
Mostowski collapse lemma
内包と外延
Intension
部分集合
Subset
定義可能実数
Definable real number
冪集合
Power set
正則性公理
Axiom of regularity
有限集合
Finite set外延
Extension (semantics)
ベールの性質
Property of Baire
完全関係
Connected relation
和集合の公理
Axiom of union
Ω-論理
Ω-logic
スコットのトリック
Scott's trick
クレパ木
Kurepa tree
ヒュームの原理
Hume's principle
空関数
Empty function
順序型
Order type