Category:数理論理学
空虚な真
Vacuous truth▲1 trends
アルゴリズム
Algorithm▲1 trends再帰
Recursion
ゲーデルの不完全性定理
Gödel's incompleteness theorems
神託機械
Oracle machine
ブール代数
Boolean algebra (structure)
計算可能関数
Computable function
置換公理
Axiom schema of replacement
プリンキピア・マテマティカ
Principia Mathematica超現実数
Surreal number
ブール関数
Boolean function真理関数
Truth function
負論理
Logic level
時相論理
Temporal logic
高階述語論理
Higher-order logic
不動点コンビネータ
Fixed-point combinator
ヒルベルト・プログラム
Hilbert's program
グッドスタインの定理
Goodstein's theorem
ススリンの問題
Suslin's problemゲーデル数
Gödel numbering原始再帰関数
Primitive recursive function
項書き換え
Rewriting
計算可能性理論
Computability theory
推移関係
Transitive relation
完全性
Completeness (logic)
線形時相論理
Linear temporal logic
ブール値関数
Boolean-valued function
ゲーム意味論
Game semantics