Similar to 無矛盾
メタ言語
Metalanguageメレオロジー
Mereology有限モデル理論
Finite model theory四値論理
Four-valued logic量子論理
Quantum logicモデル理論
Model theory数学基礎論
Foundations of mathematics計算理論
Theory of computation宇宙 (数学)
Universe (mathematics)カントールの往復論法
Back-and-forth method幾何学基礎論
Foundations of geometry形式主義 (数学)
Philosophy of mathematics#Formalism公理
Axiomコンパクト性定理
Compactness theorem自己言及のパラドックス
Liar paradox▲1 trends集合論
Set theory充足可能性問題
Boolean satisfiability problem▲1 trends推論規則
Rule of inference直観主義 (数学の哲学)
Intuitionism数理論理学
Mathematical logic素朴集合論
Naive set theory代替集合論
List of alternative set theories超実数
Hyperreal number直観主義型理論
Intuitionistic type theoryツェルメロ=フレンケル集合論
Zermelo–Fraenkel set theoryハウスドルフのパラドックス
Hausdorff paradoxパラドックス
Paradox▲1 trends非有基的集合論
Non-well-founded set theory