Das überzeugt mich noch nicht ganz. Natürlich kann man Prädikatenlogik ohne Gleichheit machen, aber ZFC ist eben in der Sprache der Prädikatenlogik mit Gleichheit formuliert. Kann es sein, dass sich deine Erinnerung auf Logiken höherer Ordnung bezieht? Wie auch immer, ich schlage vor, den Satz erst mal zu eliminieren, und die Thematik und eine angemessene Formulierung hier zu diskutieren. Gruß, Wasseralm 21:57, 15. Jan. 2008 (CET)