A First Course In Mathematical Logic And Set Th... Guide

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

While O'Leary's text is comprehensive, other common "First Course" options serve different academic needs: A First Course in Mathematical Logic and Set Theory | Wiley

: Introduces symbolic logic, truth tables, and two-column proofs to establish a base for logical inference. A First Course in Mathematical Logic and Set Th...

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

The course provides coverage of several landmark results in mathematical foundations: : Moves from informal set operations (unions, intersections)

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

: Well-Ordering Theorem; Cantor–Schröder–Bernstein Theorem; Burali-Forti Paradox. Comparison of Popular Introductory Texts Key Theorems Covered : Well-Ordering Theorem

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