Category:数理論理学関連のスタブ項目
アッカーマン関数
Ackermann function
ショアのアルゴリズム
Shor's algorithm
型理論
Type theory
比例記号
新基礎集合論
New Foundations
アリティ
Arity
後者関数
Successor function
プリンキピア・マテマティカ
Principia Mathematica無矛盾
Consistency
二重否定の除去
二重再帰法
Double recursion
逆
Converse (logic)
有限モデル理論
Finite model theory
四値論理
Four-valued logic
チャーチ・ロッサーの定理
Church–Rosser theorem
反例
Counterexample
低基底定理
Low basis theorem
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
証明 (数学)
Mathematical proof
ルジンの分離定理
Lusin's separation theorem
中間論理
Intermediate logic
緩成長階層
Slow-growing hierarchy
ダウンタック記号
Tee (symbol)
議論領域
Domain of discourse
フレーゲの定理
Frege's theorem
ハルモス代数
Polyadic algebraスーダン関数
Sudan function
