Exploring what it means for a set to be countable, with proofs and examples from set theory.