Then it is not possible to define, by ZFC, the set of all (Gödel numbers of) formulas that define real numbers.
Dann ist es nicht möglich, mit ZFC die Menge aller (Gödel-Nummern von) Formeln zu definieren, die reelle Zahlen definieren.