User blog comment:Ikosarakt1/Uncountable function cannot exists/@comment-1605058-20130707061148/@comment-25418284-20130708205508

Here's a symbol for the smallest undefinable ordinal: \(\alpha\alpha\alpha\alpha\alpha!!!!!\)