Category:数理論理学
保存拡大
Conservative extensionマーティンの公理
Martin's axiomΜ再帰関数
General recursive function無限
Infinity無限論理
Infinitary logic矛盾許容論理
Paraconsistent logic命題関数
Propositional functionメタ理論
Metatheoryメタ論理学
Metalogicメレオロジー
Mereologyモデル理論
Model theory有限演算
Finitary有限モデル理論
Finite model theoryラムダ計算
Lambda calculusレーブの定理
Löb's theorem連言標準形
Conjunctive normal formロッサーのからくり
Rosser's trick論理式 (数学)
Logical formula論理プログラミング
Logic programming