The language of functions gives us the tools we need to formally pin down what set cardinality means. This lecture explores some surprising and counterintuitive results about infinite sets and formally proves Cantor's Theorem, which we saw initially in our very first lecture.
Readings
Links