User blog comment:Edwin Shade/An Injection From The Countable Ordinals To The Reals/@comment-1605058-20171219180546/@comment-25601061-20171219214950

Wait, can you explain how we can define the fundamental sequences using the axiom of choice?