Category:数理論理学関連のスタブ項目
アッカーマン関数
Ackermann functionプリンキピア・マテマティカ
Principia Mathematica推論
Inference比例記号
恒真式
Tautology (logic)型理論
Type theory背理法
Proof by contradiction任意
Arbitrariness新基礎集合論
New Foundations補題
Lemma (mathematics)メタ言語
Metalanguageアリティ
Arity形式論理学
Formal logic二重否定の除去
量子論理
Quantum logic無矛盾
Consistency逆
Converse (logic)二重再帰法
Double recursionチャーチ・ロッサーの定理
Church–Rosser theoremカット除去定理
Cut-elimination theoremスーダン関数
Sudan function低基底定理
Low basis theoremTemplate:Mathlogic-stub
Template:Mathlogic-stub裏 (論理学)
Inverse (logic)証明 (数学)
Mathematical proofフレーゲの定理
Frege's theorem四値論理
Four-valued logicクレイグの補間定理
Craig interpolation