Georgia Institute of Technology CS 2050
Professor Ladha · Georgia Institute of Technology · 1 lecture with notes
Students in this class: ask your lecturer for the class code, and these lectures will already be in your library when you sign up.
CS2050 L10 Metamathematics
How set theory constructs the natural numbers and derives induction and arithmetic from foundational axioms.