Category:数理論理学
証明論
Proof theory
DPLLアルゴリズム
DPLL algorithm
神託機械
Oracle machine
線形論理
Linear logic
ゲーデルの完全性定理
Gödel's completeness theorem
後者関数
Successor function超数学
Metamathematics
パリス＝ハーリントンの定理
Paris–Harrington theorem
タルスキの定義不可能性定理
Tarski's undefinability theorem
命題関数
Propositional function
数学基礎論
Foundations of mathematics
ロッサーのからくり
Rosser's trick
ススリンの問題
Suslin's problem
二階述語論理
Second-order logic
関係の合成
Composition of relations
自動推論
Automated reasoning
十分条件
Sufficient condition
カット除去定理
Cut-elimination theorem
制約論理プログラミング
Constraint logic programming
チューリング次数
Turing degree高階述語論理
Higher-order logic
自己検証理論
Self-verifying theories
公理型
Axiom schema
無限論理
Infinitary logic
Smn定理
Smn theorem
完全関係
Connected relation
デデキント数
Dedekind number
チューリングジャンプ
Turing jump