Category:数理論理学関連のスタブ項目
アッカーマン関数
Ackermann function
ショアのアルゴリズム
Shor's algorithm
恒真式
Tautology (logic)
比例記号
補題
Lemma (mathematics)
プリンキピア・マテマティカ
Principia Mathematica
メタ言語
Metalanguage
推論
Inference
二重否定の除去
任意
Arbitrariness
型理論
Type theory
形式論理学
Formal logic
カット除去定理
Cut-elimination theorem
四値論理
Four-valued logic
逆含意
Converse implication
アリティ
Arity
量子論理
Quantum logic
反例
Counterexample
ディック言語
Dyck language
スーダン関数
Sudan function二重再帰法
Double recursionクレイグの補間定理
Craig interpolation
緩成長階層
Slow-growing hierarchy
低基底定理
Low basis theorem
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
証明 (数学)
Mathematical proof
メレオロジー
Mereology