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

I love how you just defined undefinable ordinal :P Is there any consistent theory which can prove that some ordinal is undefinable in all theories?