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