Question: are odd numbers finite or infinite?
Answer: Let A be a set. We say that A is countable if either A is finite or |A| has the same cardinality as the integers. So far we have seen that the integers, the odd integers and the even integer are infinite countable sets. Lemma 17.5.