"Jedes Prädikat" muss nicht formalisiert werden, weil es sich um ein Axiomenschema handelt: für jedes Prädikat ein Axiom. (Aber ich weiß nicht, wovon ich hier rede, man möge mich korrigieren.) Und ja, ZF ist typenfrei.-- Gunther 22:50, 24. Jun 2005 (CEST)