Category:数理論理学
形式体系
Formal system神託機械
Oracle machineヒルベルト・プログラム
Hilbert's programΜ再帰関数
General recursive function計算可能性理論
Computability theory超現実数
Surreal number再帰理論
矛盾許容論理
Paraconsistent logicシークエント計算
Sequent calculus計算可能関数
Computable functionカット除去定理
Cut-elimination theoremデデキント数
Dedekind number推移関係
Transitive relation不動点コンビネータ
Fixed-point combinator超数学
Metamathematicsカントールの往復論法
Back-and-forth method証明論
Proof theory合流性
Confluence (abstract rewriting)高階述語論理
Higher-order logic有限モデル理論
Finite model theory空虚な真
Vacuous truthロッサーのからくり
Rosser's trickパリス=ハーリントンの定理
Paris–Harrington theoremレーブの定理
Löb's theorem完全関係
Connected relation並行制約プログラミング
Concurrent constraint logic programming十分条件
Sufficient condition初等同値性
Elementary equivalence