Category:数理論理学
反射関係
Reflexive relation証明論
Proof theory二階述語論理
Second-order logic完全性
Completeness (logic)Μ再帰関数
General recursive function古典論理
Classical logic吸収法則
Absorption law負論理
Logic levelゲーデルの完全性定理
Gödel's completeness theorem超数学
Metamathematics強制法
Forcing (mathematics)ヒルベルト・プログラム
Hilbert's program導出原理
Resolution (logic)再帰理論
カット除去定理
Cut-elimination theoremタルスキの定義不可能性定理
Tarski's undefinability theorem線形時相論理
Linear temporal logic逆関係
Converse relation真理関数
Truth function線形論理
Linear logic形式体系
Formal systemメタ理論
Metatheoryパースの法則
Peirce's law関係の合成
Composition of relationsデデキント数
Dedekind number命題関数
Propositional functionクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm後者関数
Successor function