Similar to 素朴集合論
モストフスキ崩壊補題
Mostowski collapse lemma
有限交叉性
Finite intersection property
有限集合
Finite set
ラショーヴァ＝シコルスキの補題
Rasiowa–Sikorski lemma
リシャールのパラドックス
Richard's paradox
累積的階層
Cumulative hierarchy
連続体 (集合論)
Continuum (set theory)連続体仮説
Continuum hypothesis
連続体濃度
Cardinality of the continuum和集合
Union (set theory)
和集合の公理
Axiom of union
ワニのパラドックス
Crocodile dilemma
モデル理論
Model theory
数学基礎論
Foundations of mathematics
計算理論
Theory of computation
カントールの往復論法
Back-and-forth method
幾何学基礎論
Foundations of geometry
形式主義 (数学)
Formalism (philosophy of mathematics)
公理
Axiomコンパクト性定理
Compactness theorem
充足可能性問題
Boolean satisfiability problem推論規則
Rule of inference直観主義 (数学の哲学)
Intuitionism
数理論理学
Mathematical logic
全称記号
Universal quantification超実数
Hyperreal number
直観主義型理論
Intuitionistic type theory
パラドックス
Paradox▼-1 trends