Category:数理論理学
一階述語論理
First-order logic
数学基礎論
Foundations of mathematics
線形論理
Linear logic
強制法
Forcing (mathematics)
シークエント計算
Sequent calculus
高階述語論理
Higher-order logic
カット除去定理
Cut-elimination theorem
ハイティング代数
Heyting algebra
ゲーデルの完全性定理
Gödel's completeness theorem
論理プログラミング
Logic programming
証明論
Proof theory
推移関係
Transitive relation
超数学
Metamathematics
ヒルベルト・プログラム
Hilbert's program
二階述語論理
Second-order logic
置換公理
Axiom schema of replacement
メレオロジー
Mereology
完全性
Completeness (logic)
後者関数
Successor function
再帰理論
ブラリ＝フォルティのパラドックス
Burali-Forti paradox真理関数
Truth function
恒真式
Tautology (logic)
エルブランの定理
Herbrand's theorem連言標準形
Conjunctive normal form
パースの法則
Peirce's law
パリス＝ハーリントンの定理
Paris–Harrington theorem
プリンキピア・マテマティカ
Principia Mathematica