Category:数理論理学関連のスタブ項目
アッカーマン関数
Ackermann function推論
Inferenceプリンキピア・マテマティカ
Principia Mathematica比例記号
背理法
Proof by contradiction恒真式
Tautology (logic)型理論
Type theoryアリティ
Arityメタ言語
Metalanguage任意
Arbitrariness補題
Lemma (mathematics)無矛盾
Consistency量子論理
Quantum logic新基礎集合論
New Foundations形式論理学
Formal logic二重否定の除去
逆
Converse (logic)カット除去定理
Cut-elimination theorem反例
Counterexample二重再帰法
Double recursionチャーチ・ロッサーの定理
Church–Rosser theoremハイティング代数
Heyting algebra後者関数
Successor function四値論理
Four-valued logicシュタイニッツ数
Supernatural number低基底定理
Low basis theoremTemplate:Mathlogic-stub
Template:Mathlogic-stub裏 (論理学)
Inverse (logic)