Similar to エルブランの定理
ゲーデルの完全性定理
Gödel's completeness theorem
ゲーデルの不完全性定理
Gödel's incompleteness theorems▲1 trends
タルスキの定義不可能性定理
Tarski's undefinability theorem
アルゴリズム
Algorithm▲1 trends
グッドスタインの定理
Goodstein's theorem
レーブの定理
Löb's theorem
1の分割
Partition of unity
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
Brilliant.org
Brilliant (website)
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
カット除去定理
Cut-elimination theorem
ギルモアのアルゴリズム
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithmクレイグの補間定理
Craig interpolation
チューリング次数
Turing degreeチューリングジャンプ
Turing jump
パリス＝ハーリントンの定理
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レーヴェンハイム–スコーレムの定理
Löwenheim–Skolem theorem