Category:数理論理学
ブール代数
Boolean algebra (structure)
アルゴリズム
Algorithm
ゲーデルの不完全性定理
Gödel's incompleteness theorems一階述語論理
First-order logic
論理プログラミング
Logic programming
線形論理
Linear logic矛盾許容論理
Paraconsistent logic
述語論理
Predicate logic原始再帰関数
Primitive recursive function
シークエント計算
Sequent calculus
命題関数
Propositional function
恒真式
Tautology (logic)連言標準形
Conjunctive normal form
古典論理
Classical logic
置換公理
Axiom schema of replacement
グッドスタインの定理
Goodstein's theorem
超数学
Metamathematics
数学基礎論
Foundations of mathematics
空虚な真
Vacuous truthゲーデル数
Gödel numbering
Μ再帰関数
General recursive function
時相論理
Temporal logic
証明論
Proof theory真理関数
Truth function
計算可能性理論
Computability theory
推移関係
Transitive relation
ブーリアン型
Boolean data type
型理論
Type theory