2010-06-21 Theorem: The Cartesian product of finitely many countable sets is countable. Theorem: The Cartesian product of finitely many countable sets is countable.