Similar to 反例
型理論
Type theory
カット除去定理
Cut-elimination theorem
緩成長階層
Slow-growing hierarchy
逆
Converse (logic)
逆含意
Converse implication
議論領域
Domain of discourseクレイグの補間定理
Craig interpolation
後者関数
Successor function
恒真式
Tautology (logic)
シュタイニッツ数
Supernatural number
ショアのアルゴリズム
Shor's algorithm▼-1 trends
新基礎集合論
New Foundations
推論
Inferenceスーダン関数
Sudan function
ダウンタック記号
Tee (symbol)
チャーチ・ロッサーの定理
Church–Rosser theorem
中間論理
Intermediate logic
低基底定理
Low basis theorem
ディック言語
Dyck language二重再帰法
Double recursion
二重否定の除去
任意
Arbitrariness
ハイティング代数
Heyting algebraハルモス代数
Polyadic algebra
比例記号
プリンキピア・マテマティカ
Principia Mathematica
フレーゲの定理
Frege's theorem無矛盾
Consistency
