Category:数理論理学
神託機械
Oracle machine形式体系
Formal system再帰理論
ヒルベルト・プログラム
Hilbert's programΜ再帰関数
General recursive functionシークエント計算
Sequent calculus超現実数
Surreal number矛盾許容論理
Paraconsistent logic計算可能関数
Computable function推移関係
Transitive relation計算可能性理論
Computability theoryカット除去定理
Cut-elimination theoremデデキント数
Dedekind number超数学
Metamathematics不動点コンビネータ
Fixed-point combinator証明論
Proof theoryブール関数
Boolean functionカントールの往復論法
Back-and-forth method述語論理
Predicate logic論理プログラミング
Logic programmingススリンの問題
Suslin's problem有限モデル理論
Finite model theoryロッサーのからくり
Rosser's trickチューリング次数
Turing degreeレーブの定理
Löb's theorem並行制約プログラミング
Concurrent constraint logic programming完全関係
Connected relationパリス=ハーリントンの定理
Paris–Harrington theorem