Nachtrag: Inzwischen weiß ich's genauer: ZF ist "typenfrei" in dem Sinne, wie das oben beschrieben ist, aber die zu Grunde liegende Prädikatenlogik ist von 1.Stufe, d.h. es wird nur über Objekte (also Mengen) quantifiziert, nicht über Prädikate diese Mengen. Hab das im Text wieder in Ordnung gebracht. -- Peter Steinberg 22:30, 7. Sep 2005 (CEST)