Similar to 証明_(数学)
羅生門式調査手法
理念型
Ideal typeTemplate:Mathlogic-stub
Template:Mathlogic-stub裏 (論理学)
Inverse (logic)型理論
Type theoryカット除去定理
Cut-elimination theorem緩成長階層
Slow-growing hierarchy逆
Converse (logic)逆含意
Converse implication議論領域
Domain of discourseクレイグの補間定理
Craig interpolation後者関数
Successor function恒真式
Tautology (logic)シュタイニッツ数
Supernatural number新基礎集合論
New Foundations推論
Inferenceスーダン関数
Sudan functionダウンタック記号
Tee (symbol)チャーチ・ロッサーの定理
Church–Rosser theorem中間論理
Intermediate logic低基底定理
Low basis theoremディック言語
Dyck language二重再帰法
Double recursion二重否定の除去
任意
Arbitrarinessハイティング代数
Heyting algebraハルモス代数
Polyadic algebra比例記号