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