So specified .. that it can actually prove it can't be completely specified by any single specification
All mathematical statements we care about fall out of the purview of incompleteness
All mathematical statements we care about fall out of the purview of incompleteness