Similar to Ω-論理
スコットのトリック
Scott's trick正則性公理
Axiom of regularity整礎的集合
全順序
Total order全単射
Bijection素集合
Disjoint sets素朴集合論
Naive set theoryソロヴェイモデル
Solovay model対角線共通部分
Diagonal intersection▼-1 trends対称関係
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ハルトークス数
Hartogs number反射関係
Reflexive relation