User blog comment:Vel!/Music/@comment-5150073-20140503054608/@comment-1605058-20140504062247

I can't see an implication. We can map any countable ordinal onto reals, but we can't map all of them.