Category:数理論理学
ゲーデルの不完全性定理
Gödel's incompleteness theorems▲1 trends
アルゴリズム
Algorithm矛盾許容論理
Paraconsistent logic
ブール代数
Boolean algebra (structure)一階述語論理
First-order logic
計算可能関数
Computable function
論理プログラミング
Logic programming連言標準形
Conjunctive normal form
数理論理学
Mathematical logic
シークエント計算
Sequent calculus
恒真式
Tautology (logic)
数学基礎論
Foundations of mathematics
神託機械
Oracle machine無限
Infinity
空虚な真
Vacuous truth
存在記号
Existential quantification
命題関数
Propositional function
プリンキピア・マテマティカ
Principia Mathematica
古典論理
Classical logic
超数学
Metamathematics原始再帰関数
Primitive recursive function
ヒルベルト・プログラム
Hilbert's program
Μ再帰関数
General recursive function
計算可能性理論
Computability theory再帰的定義
Recursive definition
再帰理論
真理関数
Truth function
完全性
Completeness (logic)
