Similar to チャーチ・ロッサーの定理
推論
Inferenceスーダン関数
Sudan functionダウンタック記号
Tee (symbol)中間論理
Intermediate logic低基底定理
Low basis theoremディック言語
Dyck language二重再帰法
Double recursion二重否定の除去
任意
Arbitrarinessハイティング代数
Heyting algebra背理法
Proof by contradictionハルモス代数
Polyadic algebra反例
Counterexample比例記号
プリンキピア・マテマティカ
Principia Mathematica補題
Lemma (mathematics)無矛盾
Consistencyメタ言語
Metalanguageメレオロジー
Mereology有限モデル理論
Finite model theory四値論理
Four-valued logic量子論理
Quantum logicエルブランの定理
Herbrand's theorem演繹定理
Deduction theoremカントールの定理
Cantor's theoremグッドスタインの定理
Goodstein's theoremクリーネの再帰定理
Kleene's recursion theoremゲーデルの加速定理
Gödel's speed-up theorem