Category:メタ定理

Compactness theorem

Gödel's completeness theorem

Tarski's undefinability theorem

Deduction theorem

Frege's theorem

Löb's theorem

Löwenheim–Skolem theorem

Herbrand's theorem

Gödel's incompleteness theorems