Let be a first-order Language, and let be an -Structure that can encode formulas in (e.g. by Godel encodings ) Then there is no formula such that