Similar to 直観主義型理論
表示的意味論
Denotational semanticsホーア論理
Hoare logic前向き連鎖
Forward chainingユニフィケーション
Unification (computer science)論理回路
Logic gate構成主義 (数学)
Constructivism (philosophy of mathematics)原始帰納的算術
Primitive recursive arithmetic実現可能性 (論理学)
Realizabilityハイティング代数
Heyting algebraモデル理論
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集合論
Set theory充足可能性問題
Boolean satisfiability problem推論規則
Rule of inference数理論理学
Mathematical logic全称記号
Universal quantification素朴集合論
Naive set theory代替集合論
List of alternative set theories超実数
Hyperreal numberツェルメロ=フレンケル集合論
Zermelo–Fraenkel set theory