Category:メタ定理

Compactness theorem

Gödel's completeness theorem

Deduction theorem

Löb's theorem

Tarski's undefinability theorem

Frege's theorem

Löwenheim–Skolem theorem

Herbrand's theorem

Gödel's incompleteness theorems