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