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

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

: Well-Ordering Theorem; Cantor–Schröder–Bernstein Theorem; Burali-Forti Paradox. Comparison of Popular Introductory Texts A First Course in Mathematical Logic and Set Th...

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

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

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

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