Category:数理論理学関連のスタブ項目
アッカーマン関数
Ackermann function推論
Inference恒真式
Tautology (logic)背理法
Proof by contradiction比例記号
任意
Arbitrarinessクレイグの補間定理
Craig interpolationプリンキピア・マテマティカ
Principia Mathematica四値論理
Four-valued logic議論領域
Domain of discourseメタ言語
Metalanguageメレオロジー
Mereologyダウンタック記号
Tee (symbol)形式論理学
Formal logic二重否定の除去
ディック言語
Dyck languageアリティ
Arity量子論理
Quantum logicスーダン関数
Sudan function二重再帰法
Double recursionシュタイニッツ数
Supernatural number中間論理
Intermediate logic有限モデル理論
Finite model theory低基底定理
Low basis theoremTemplate:Mathlogic-stub
Template:Mathlogic-stub裏 (論理学)
Inverse (logic)証明 (数学)
Mathematical proof反例
Counterexample