Definition 1.8.2.21.  Let κ be a cardinal number. We define:
κ is countably infinite  :⇔  κ is countable and κ is infinite  ⇔  κ = ℵ0
Equivalence.  No proof.
Remarks.

See also the definition of a $../../Sets/"countably infinite" set, which references this definition as one alternative.