We can suppose that first.
We know that . By well ordering let be the least to have that property.
What can be said about
If then do it for .
Would it be that its not in the section? Or am I straying away? I'm looking at my notes and it goes from well ordering to countable without much detail.