User blog comment:PsiCubed2/An FS-independent injection from the Countable Ordinals to the reals? (help me find the catch)/@comment-5529393-20171219192605/@comment-5529393-20171219193523

Well, I guess we can't give an explicit injection from the countable ordinals to the reals because we cannot even notate the countable ordinals.