Category:数理論理学関連のスタブ項目
アッカーマン関数
Ackermann function
推論
Inference
カット除去定理
Cut-elimination theorem
ハイティング代数
Heyting algebra
量子論理
Quantum logic
背理法
Proof by contradiction
比例記号
プリンキピア・マテマティカ
Principia Mathematica
後者関数
Successor function
シュタイニッツ数
Supernatural number
二重否定の除去
メレオロジー
Mereology
反例
Counterexample
恒真式
Tautology (logic)クレイグの補間定理
Craig interpolation二重再帰法
Double recursion
議論領域
Domain of discourse
逆含意
Converse implication
アリティ
Arity
ダウンタック記号
Tee (symbol)
緩成長階層
Slow-growing hierarchy
四値論理
Four-valued logic
低基底定理
Low basis theorem
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
型理論
Type theory
証明 (数学)
Mathematical proof
新基礎集合論
New Foundations