Similar to 強制法
空集合の公理
Axiom of empty set
クレパ木
Kurepa tree
始順序数
Von Neumann cardinal assignment
実効記述集合論
Effective descriptive set theory
整礎関係
Well-founded relation
整礎的集合
対角線共通部分
Diagonal intersection▼-1 trends
対称差
Symmetric difference代替集合論
List of alternative set theoriesチャーチ・クリーネ順序数
Nonrecursive ordinal
直積順序
Product order
定数関数
Constant function
ハルトークス数
Hartogs number非有基的集合論
Non-well-founded set theory
ファイバー (数学)
Fiber (mathematics)
ファジィ集合
Fuzzy set
有限交叉性
Finite intersection property
数理論理学
Mathematical logic一階述語論理
First-order logic
一般と特殊 (数学)
Special case
意味論 (論理学)
Semantics
宇宙 (数学)
Universe (mathematics)
エルブランの定理
Herbrand's theorem
型理論
Type theory
カット除去定理
Cut-elimination theorem
関係 (数学)
Finitary relation
関係代数 (数学)
Relation algebra
関係の合成
Composition of relations