Category:数理論理学
空虚な真
Vacuous truth▲1 trends
アルゴリズム
Algorithm
ゲーデルの不完全性定理
Gödel's incompleteness theorems再帰
Recursion
ブール代数
Boolean algebra (structure)
置換公理
Axiom schema of replacement
計算可能関数
Computable function
ブーリアン型
Boolean data type
プリンキピア・マテマティカ
Principia Mathematica無限
Infinity
不動点コンビネータ
Fixed-point combinator超現実数
Surreal number
ブール関数
Boolean function一階述語論理
First-order logic
負論理
Logic level
述語論理
Predicate logic
推移関係
Transitive relation
タルスキの定義不可能性定理
Tarski's undefinability theorem原始再帰関数
Primitive recursive function
計算可能性理論
Computability theory真理関数
Truth function
古典論理
Classical logic
エルブランの定理
Herbrand's theorem
項書き換え
Rewriting
ススリンの問題
Suslin's problem
論理プログラミング
Logic programming
超数学
Metamathematicsゲーデル数
Gödel numbering
