Category:数理論理学関連のスタブ項目
推論
Inference
背理法
Proof by contradiction
比例記号
アッカーマン関数
Ackermann function
プリンキピア・マテマティカ
Principia Mathematica
ダウンタック記号
Tee (symbol)
ハイティング代数
Heyting algebra
後者関数
Successor function
緩成長階層
Slow-growing hierarchyクレイグの補間定理
Craig interpolation二重再帰法
Double recursion
アリティ
Arity
メレオロジー
Mereology
新基礎集合論
New Foundations
任意
Arbitrariness
低基底定理
Low basis theorem
有限モデル理論
Finite model theory
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
逆
Converse (logic)
議論領域
Domain of discourse
証明 (数学)
Mathematical proof
ルジンの分離定理
Lusin's separation theorem
チャーチ・ロッサーの定理
Church–Rosser theorem
ディック言語
Dyck language
シュタイニッツ数
Supernatural number
逆含意
Converse implicationスーダン関数
Sudan function