User blog comment:Googleaarex/Unlimitable Ordinals/@comment-25418284-20130823215256/@comment-1605058-20130825143914

We can, but this would be undecidable task.