User blog comment:Vel!/A medley of countability proofs/@comment-5929355-20130516091626/@comment-1605058-20130516125024

For all ordinals listed here, yes. But we can prove that there is smallest ordinal \(\omega_1\) which isn't countable, so it doesn't hold for all infinite ordinals.