The curriculum typically follows a progression from basic logical structures to advanced foundational theorems:

: Includes the construction of number systems (naturals, ordinals, cardinals) and concludes with an introduction to model theory . Key Theorems Covered

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

: Defines these fundamental structures strictly within the framework of set theory.

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