Proposition 1.8.2.20.  Let κ, μ be cardinal numbers such that μ is countable and κ ≤ μ. Then:
κ is countable
No proof.