"was sich in der Prädikatenlogik formulieren lässt, gehört nicht in ZFC" - Ich dachte, Prädikatenlogik wäre ein Teil von ZFC? Meinst du, wir sollten die "Auswahl" der gewünschten Prädikate "metalogisch" vornehmen (außerhalb der Prädikatenlogik von ZFC)?