Similar to ゲーデルの完全性定理

Gödel's incompleteness theorems

Herbrand's theorem

Tarski's undefinability theorem

Algorithm

Goodstein's theorem

Löb's theorem

DPLL algorithm

Smn theorem

Cut-elimination theorem

Knuth–Bendix completion algorithm

Craig interpolation

Gödel numbering

Turing degree

Turing jump

Paris–Harrington theorem

General recursive function

Compression theorem

Deduction theorem

Cantor's theorem

Kleene's recursion theorem

Gödel's speed-up theorem

König's theorem (set theory)

Compactness theorem

Frege's theorem

Löwenheim–Skolem theorem

Annales de Gergonne