Category:数理論理学
超現実数
Surreal number
反射関係
Reflexive relation
高階述語論理
Higher-order logic
線形時相論理
Linear temporal logic
ブラリ＝フォルティのパラドックス
Burali-Forti paradox矛盾許容論理
Paraconsistent logic
ゲーム意味論
Game semantics
項書き換え
Rewriting
Μ再帰関数
General recursive function
再帰理論
グッドスタインの定理
Goodstein's theorem
空虚な真
Vacuous truth
メレオロジー
Mereology再帰的定義
Recursive definition
カントールの往復論法
Back-and-forth method
ハイティング代数
Heyting algebra
ブール値関数
Boolean-valued function
対称関係
Symmetric relation
有限演算
Finitary
メタ論理学
Metalogic
パリス＝ハーリントンの定理
Paris–Harrington theorem初等同値性
Elementary equivalence
帰納的可算言語
Recursively enumerable language
制約論理プログラミング
Constraint logic programming
形式の法則
Laws of Form
初等関数算術
Elementary function arithmetic
チューリングジャンプ
Turing jump
完全性
Completeness (logic)
