The property D(φ) that a formula φ of ZFC defines a unique real number is not itself expressible by ZFC, but must be considered as part of the metatheory used to formalize ZFC.
Die Eigenschaft D (φ), mit der eine Formel φ von ZFC eine eindeutige reelle Zahl definiert, kann von ZFC nicht selbst ausgedrückt werden, sondern muss als Teil der zur Formalisierung von ZFC verwendeten Metatheorie betrachtet werden.