Similar to 対角化定理
矛盾許容論理
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