Mathematical Logic I: Logic -- Completeness

Harvard FAS

An introduction to first-order logic (the basis of mathematical reasoning) from a meta-mathematical point of view. Topics include: The axiomatic method, the principles of first-order logic, the meta-mathematical point of view, the central theorems (soundness and completeness), and the expressive limitations (Löwenheim-Skolem).