Claim: If is subset of in which every element has an immediate predecessor it follows that is countable.

Thus, given any the largest subset of that contains and in which every element has an immediate predecessor is countable.

It follows that if werecountable, then would be acountableunion of countable sets, hence countable.