: Covers predicates, quantifiers, and formal languages, providing the necessary syntax for writing mathematical proofs.

: Completeness and Compactness Theorems; Löwenheim–Skolem Theorem.

: Introduces symbolic logic, truth tables, and two-column proofs to establish a base for logical inference.

The course provides coverage of several landmark results in mathematical foundations:

: Moves from informal set operations (unions, intersections) to axiomatic set theory (ZFC) .