Canonical form
article-link
What links here
Prenex normal form
Skolem normal form
article-link
Existence theorem
article-link
Normal form
article-link
Arithmetical hierarchy
article-link
Original proof of Gödel's completeness theorem
article-link
First-order logic
article-link