Category:数理論理学関連のスタブ項目
ショアのアルゴリズム
Shor's algorithm
カット除去定理
Cut-elimination theorem
量子論理
Quantum logic
アッカーマン関数
Ackermann function
ハイティング代数
Heyting algebra
二重否定の除去
プリンキピア・マテマティカ
Principia Mathematica
シュタイニッツ数
Supernatural number
アリティ
Arity
反例
Counterexampleクレイグの補間定理
Craig interpolation
ディック言語
Dyck language二重再帰法
Double recursion
議論領域
Domain of discourse
形式論理学
Formal logic
メタ言語
Metalanguage
逆含意
Converse implication
低基底定理
Low basis theorem
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
緩成長階層
Slow-growing hierarchy
証明 (数学)
Mathematical proof
有限モデル理論
Finite model theory
ルジンの分離定理
Lusin's separation theorem
スーダン関数
Sudan functionハルモス代数
Polyadic algebra
チャーチ・ロッサーの定理
Church–Rosser theorem
新基礎集合論
New Foundations