Category:数理論理学関連のスタブ項目
プリンキピア・マテマティカ
Principia Mathematica任意
Arbitrariness新基礎集合論
New Foundationsアッカーマン関数
Ackermann functionシュタイニッツ数
Supernatural number逆含意
Converse implication緩成長階層
Slow-growing hierarchyクレイグの補間定理
Craig interpolationカット除去定理
Cut-elimination theorem二重再帰法
Double recursion無矛盾
Consistencyスーダン関数
Sudan function低基底定理
Low basis theoremTemplate:Mathlogic-stub
Template:Mathlogic-stub裏 (論理学)
Inverse (logic)議論領域
Domain of discourse証明 (数学)
Mathematical proof反例
Counterexample補題
Lemma (mathematics)有限モデル理論
Finite model theory四値論理
Four-valued logicルジンの分離定理
Lusin's separation theorem後者関数
Successor functionチャーチ・ロッサーの定理
Church–Rosser theoremハルモス代数
Polyadic algebra二重否定の除去
ディック言語
Dyck language中間論理
Intermediate logic