Not following the bottom line, but sure. I think getting worried over the details misses the point. I think you'd like this version better: Let A be the set of all positive integers that can be defined in under 100 words. Since there are only finitely many of these, there must be a smallest positive integer n that does not belong to A. But haven't I just defined n in under 100 words?