Category:数理論理学関連のスタブ項目
型理論
Type theory
推論
Inference
背理法
Proof by contradiction
ハイティング代数
Heyting algebra
カット除去定理
Cut-elimination theorem
アッカーマン関数
Ackermann function
量子論理
Quantum logic
比例記号
後者関数
Successor function
シュタイニッツ数
Supernatural number
恒真式
Tautology (logic)
二重否定の除去
メレオロジー
Mereology
ディック言語
Dyck languageクレイグの補間定理
Craig interpolation
新基礎集合論
New Foundations二重再帰法
Double recursion
議論領域
Domain of discourse
ダウンタック記号
Tee (symbol)
四値論理
Four-valued logic
反例
Counterexample
アリティ
Arity
低基底定理
Low basis theorem
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
証明 (数学)
Mathematical proof
有限モデル理論
Finite model theory
ルジンの分離定理
Lusin's separation theorem