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