Zero-order logic

Terms and predicates

Relations and equality

Functions and brackets

Structures

Completeness of zero-order logic

Injective, surjective and bijective functions

Binary functions

First-order logic

Writing first-order logic

Axioms for quantifiers

Duality of first-order logic

Gödel’s completeness theorem