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

Gödel's completeness theorem

Herbrand's theorem

Tarski's undefinability theorem

Algorithm

Goodstein's theorem

Paris–Harrington theorem

Löb's theorem

Knuth–Bendix completion algorithm

Compression theorem

Deduction theorem

Cut-elimination theorem

Cantor's theorem

Kleene's recursion theorem

Craig interpolation

Gödel's speed-up theorem

Kőnig's theorem (set theory)

Compactness theorem

Frege's theorem

Löwenheim–Skolem theorem

Ω-consistent theory

Maximum length sequence

Curry–Howard correspondence

Game semantics

Recursive definition

Foundations of mathematics

Mathematical logic

Constraint logic programming

Fixed-point combinator