User blog comment:Bubby3/Googology paradox of the heap/@comment-1605058-20170310181933

If we are to be mathematical about it, then we would have to define what "enormous" is. This argument shows that there is no notion of "enormous" such that: G is enormous, if n is enormous so is n-1, and 1 is not enormous; any definition of enormous fails one of these properties.

For adjective "large", a suggested definition was that a large number is precisely a number bigger than 1. It then doesn't satisfy the property "if n is enormous, so is n-1".