Similar to 数理論理学
部分構造論理
Substructural logic
プリンキピア・マテマティカ
Principia Mathematica
プレスバーガー算術
Presburger arithmetic
変数 (数学)
Variable (mathematics)
保存拡大
Conservative extension
マーティンの公理
Martin's axiom無限
Infinity無限論理
Infinitary logic矛盾許容論理
Paraconsistent logic
命題関数
Propositional function
メタ理論
Metatheoryメタ論理学
Metalogic
メレオロジー
Mereology
有限演算
Finitary
有限モデル理論
Finite model theory
レーブの定理
Löb's theorem連言標準形
Conjunctive normal form
ロッサーのからくり
Rosser's trick
論理式 (数学)
Logical formula
幾何学基礎論
Foundations of geometry
形式主義 (数学)
Formalism (philosophy of mathematics)
公理
Axiomコンパクト性定理
Compactness theorem
集合論
Set theory
充足可能性問題
Boolean satisfiability problem推論規則
Rule of inference直観主義 (数学の哲学)
Intuitionism
全称記号
Universal quantification
