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

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