Category:数理論理学
空虚な真
Vacuous truth▲1 trends神託機械
Oracle machine計算可能関数
Computable functionゲーデル数
Gödel numbering再帰
Recursion真理関数
Truth function完全性
Completeness (logic)超現実数
Surreal number高階述語論理
Higher-order logic計算可能性理論
Computability theory置換公理
Axiom schema of replacementプリンキピア・マテマティカ
Principia Mathematicaススリンの問題
Suslin's problemヒルベルト・プログラム
Hilbert's programブラリ=フォルティのパラドックス
Burali-Forti paradox自動推論
Automated reasoningブール関数
Boolean function強制法
Forcing (mathematics)線形時相論理
Linear temporal logic無限論理
Infinitary logic対称関係
Symmetric relationカントールの往復論法
Back-and-forth methodクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm負論理
Logic levelブール値関数
Boolean-valued function構造的帰納法
Structural inductionクレイグの補間定理
Craig interpolation完全関係
Connected relation