Similar to エルブランの定理

Gödel's completeness theorem

Gödel's incompleteness theorems

Tarski's undefinability theorem

Algorithm

Goodstein's theorem

Löb's theorem

Partition of unity

Annals of Mathematics

Axiom (computer algebra system)

Brilliant (website)

DPLL algorithm

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