Maths›03. Logic and Foundations7.2 Cardinality and CountabilityCardinality, finite and infinite sets, countable sets, uncountable sets, and Cantor diagonal arguments.