Category:数理論理学関連のスタブ項目
ショアのアルゴリズム
Shor's algorithm
アッカーマン関数
Ackermann function
恒真式
Tautology (logic)
メタ言語
Metalanguage
比例記号
背理法
Proof by contradiction無矛盾
Consistency
推論
Inference
プリンキピア・マテマティカ
Principia Mathematica
形式論理学
Formal logic
任意
Arbitrariness
ディック言語
Dyck language
逆
Converse (logic)
型理論
Type theory
議論領域
Domain of discourse
後者関数
Successor function
補題
Lemma (mathematics)
ダウンタック記号
Tee (symbol)二重再帰法
Double recursion
カット除去定理
Cut-elimination theorem
逆含意
Converse implication
四値論理
Four-valued logic
緩成長階層
Slow-growing hierarchy
低基底定理
Low basis theorem
Template:Mathlogic-stub
Template:Mathlogic-stub
アリティ
Arity
裏 (論理学)
Inverse (logic)
シュタイニッツ数
Supernatural number
