Gödel showed essentially that such empirical properties are dispensable in favor of purely syntactic properties: he showed that, for each predicate Q(x), a syntactic predicate P(x) can be produced such that the sentence (x)(P(x) Q(x)) is demonstrably the only object satisfying P(x).