User blog comment:Ikosarakt1/Uncountable function cannot exists/@comment-1605058-20130707061148/@comment-5529393-20130708203408

Yep, there are undefinable countable ordinals, so let U be the smallest undefinable ordinal. Any explicit definition of fundamental sequences must stop below U.