The course provides coverage of several landmark results in mathematical foundations:
: Completeness and Compactness Theorems; Löwenheim–Skolem Theorem.
: Covers predicates, quantifiers, and formal languages, providing the necessary syntax for writing mathematical proofs.
: 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) .
The curriculum typically follows a progression from basic logical structures to advanced foundational theorems:
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
The course provides coverage of several landmark results in mathematical foundations:
: Completeness and Compactness Theorems; Löwenheim–Skolem Theorem.
: Covers predicates, quantifiers, and formal languages, providing the necessary syntax for writing mathematical proofs.
: 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) .
The curriculum typically follows a progression from basic logical structures to advanced foundational theorems:
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