View article

This chapter gives meaning to the notion of size (cardinality) for infinite sets. We define countable and uncountable sets, and introduce Gödel numbering, coding, and diagonalization arguments. These ideas will be recycled throughout the book.