Infinite Set has Countably Infinite Subset

Theorem
Every infinite set has a countably infinite subset.

Proof 2
This proof follows the same steps as the intuitive one, but with more formality.

Comment
What this in effect shows is that countably infinite sets are the smallest possible infinite sets.