User blog comment:Simplicityaboveall/The Construction of Extremely Large Numbers/@comment-24920136-20160725013617/@comment-1605058-20160725072324

It's impossible to have a countable set of (countable, I assume) ordinals which has supremum $$\omega_1$$.