Department of Mathematics

Van Vleck Hall, 480 Lincoln Drive, Madison, WI

Math 770: Introduction to Mathematical Logic

This is an introductory graduate course in mathematical logic. We will discuss each of the four main subjects of logic: set theory, model theory, proof theory, and computability theory. The main topics will include the axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic, the syntax and semantics of first-order logic, a first-order proof calculus, the Completeness and Compactness Theorems, the Löwenheim-Skolem Theorems, and the Incompleteness Theorems.


UW-Madison Department of Mathematics
Van Vleck Hall
480 Lincoln Drive
Madison, WI  53706

(608) 263-3054

Contact Us

Got a question about
accessibility, content
or structure of this website?



Privacy and copyright statement: Privacy Notice 

© 2019 The Board of Regents of the University of Wisconsin System