Similar to ソロヴェイモデル
遺伝的有限集合
Hereditarily finite set
宇宙 (数学)
Universe (mathematics)
オイラー図
Euler diagram
Ω-論理
Ω-logic
面白い数のパラドックス
Interesting number paradox
数え上げ
Enumeration
関数の台
Support (mathematics)
完全関係
Connected relation
カントール集合
Cantor set
カントールの対角線論法
Cantor's diagonal argument
カントールの定理
Cantor's theorem
基数
Cardinal number
帰納的集合
Computable set
逆写像
Inverse function
共終数
Cofinality
許容順序数
Admissible ordinal
空関数
Empty function
空集合
Empty set
グッドスタインの定理
Goodstein's theorem
クラス (集合論)
Class (set theory)
Club集合
Club set
クレパ木
Kurepa tree
構造主義 (数学の哲学)
Structuralism (philosophy of mathematics)公理的集合論
Set theory#Axiomatic set theory
差集合
Complement (set theory)
ジェネリックフィルター
Generic filter
自己言及のパラドックス
Liar paradox
指示関数
Indicator function