Category:数理論理学
再帰
Recursion▲2 trendsラムダ計算
Lambda calculus
ブーリアン型
Boolean data type矛盾許容論理
Paraconsistent logic超現実数
Surreal number
ゲーデルの不完全性定理
Gödel's incompleteness theorems
グッドスタインの定理
Goodstein's theorem
計算可能性理論
Computability theory
二階述語論理
Second-order logicゲーデル数
Gödel numbering
メレオロジー
Mereology
タルスキの定義不可能性定理
Tarski's undefinability theorem
不動点コンビネータ
Fixed-point combinator
プレスバーガー算術
Presburger arithmetic
メタ理論
Metatheory
線形時相論理
Linear temporal logic
反射関係
Reflexive relation
負論理
Logic level
完全性
Completeness (logic)
DPLLアルゴリズム
DPLL algorithm
モデル理論
Model theory
時相論理
Temporal logic
型理論
Type theory
項書き換え
Rewriting
自動推論
Automated reasoningメタ論理学
Metalogic
カントールの往復論法
Back-and-forth method
ブラリ＝フォルティのパラドックス
Burali-Forti paradox