Similar to クレパ木
スコットのトリック
Scott's trick正則性公理
Axiom of regularity全順序
Total order全単射
Bijection素集合
Disjoint sets素朴集合論
Naive set theoryソロヴェイモデル
Solovay model対称関係
Symmetric relationダイヤモンド原理
Diamond principle単位区間
Unit interval単射
Injective function超フィルター
Ultrafilter重複度 (数学)
Multiplicity (mathematics)直積集合
Cartesian product対関数
Pairing function対の公理
Axiom of pairing定義可能実数
Definable real number定常集合
Stationary setデデキント無限
Dedekind-infinite setテューキーの補題
Teichmüller–Tukey lemma等化子
Equaliser (mathematics)濃度 (数学)
Cardinalityハイパーグラフ
Hypergraphハウスドルフのパラドックス
Hausdorff paradox反射関係
Reflexive relation非可算集合
Uncountable setヒュームの原理
Hume's principleフォドアの補題
Fodor's lemma