User blog comment:Vel!/Googology and well-defined-ness/@comment-83.237.170.16-20141017233503/@comment-1605058-20141018193609

First of all, my proof is everything but a definition. But I understand what you mean. Definitions of such length are what happens when you try to formalize some concept in low-level languages like language of first order arithmetic. But English is not a low-level language, and we can make formal definitions in English which don't require 1000 lines to define.