Logic and set theory form the foundational bedrock of modern mathematics. This course develops both the formal languages we use to express mathematical statements and the axiomatic systems that govern the objects we study. Rather than treating logic and set theory as separate subjects, we weave them together, revealing a deep parallel between semantic notions (what statements mean, what objects ex