Similar to カット除去定理
証明可能性論理
Provability logic
チャーチ・クリーネ順序数
Nonrecursive ordinal
二重否定翻訳
Double-negation translation
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
逆
Converse (logic)
逆含意
Converse implication
形式論理学
Formal logic
シュタイニッツ数
Supernatural number
ショアのアルゴリズム
Shor's algorithm▼-1 trends
証明 (数学)
Mathematical proof
新基礎集合論
New Foundations
推論
Inference
スーダン関数
Sudan function
ダウンタック記号
Tee (symbol)
中間論理
Intermediate logic
低基底定理
Low basis theorem
ディック言語
Dyck language二重再帰法
Double recursion
二重否定の除去
任意
Arbitrariness
背理法
Proof by contradiction
反例
Counterexample
比例記号
補題
Lemma (mathematics)無矛盾
Consistency
メタ言語
Metalanguage
四値論理
Four-valued logic
