Similar to エルブランの定理
ゲーデルの完全性定理
Gödel's completeness theoremゲーデルの不完全性定理
Gödel's incompleteness theoremsタルスキの定義不可能性定理
Tarski's undefinability theoremアルゴリズム
Algorithmグッドスタインの定理
Goodstein's theoremレーブの定理
Löb's theorem1の分割
Partition of unityAnnals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)Brilliant.org
Brilliant (website)DPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremカット除去定理
Cut-elimination theoremギルモアのアルゴリズム
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithmクレイグの補間定理
Craig interpolationチューリング次数
Turing degreeチューリングジャンプ
Turing jumpデービス・パトナムのアルゴリズム
Davis–Putnam algorithmパリス=ハーリントンの定理
Paris–Harrington theoremΜ再帰関数
General recursive function圧縮定理
Compression theorem演繹定理
Deduction theoremカントールの定理
Cantor's theoremクリーネの再帰定理
Kleene's recursion theoremケーニヒの定理 (集合論)
König's theorem (set theory)コンパクト性定理
Compactness theoremフレーゲの定理
Frege's theorem