Category:数理論理学関連のスタブ項目
背理法
Proof by contradiction▲2 trends
プリンキピア・マテマティカ
Principia Mathematica
ショアのアルゴリズム
Shor's algorithm
型理論
Type theory
形式論理学
Formal logic
カット除去定理
Cut-elimination theorem
二重否定の除去
推論
Inference
恒真式
Tautology (logic)
ダウンタック記号
Tee (symbol)無矛盾
Consistency
比例記号
アリティ
Arity二重再帰法
Double recursion
メレオロジー
Mereology
ディック言語
Dyck languageクレイグの補間定理
Craig interpolation
シュタイニッツ数
Supernatural number
有限モデル理論
Finite model theory
量子論理
Quantum logic
低基底定理
Low basis theorem
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
逆含意
Converse implication
証明 (数学)
Mathematical proof
ルジンの分離定理
Lusin's separation theorem
スーダン関数
Sudan function
中間論理
Intermediate logic
