Category:メタ定理

Gödel's incompleteness theorems

Deduction theorem

Herbrand's theorem

Frege's theorem

Compactness theorem

Löb's theorem

Löwenheim–Skolem theorem

Tarski's undefinability theorem

Gödel's completeness theorem