Category:メタ定理

Gödel's completeness theorem

Tarski's undefinability theorem

Compactness theorem

Deduction theorem

Löwenheim–Skolem theorem

Frege's theorem

Löb's theorem

Herbrand's theorem

Gödel's incompleteness theorems