Category:メタ定理

Compactness theorem

Deduction theorem

Gödel's completeness theorem

Frege's theorem

Tarski's undefinability theorem

Löb's theorem

Löwenheim–Skolem theorem

Herbrand's theorem

Gödel's incompleteness theorems