Es genügen sogar die Axiome 4–7 und 9, wenn man eine Prädikatenlogik ohne Identität voraussetzt. Denn Gleichungen in den ZF-Axiomen sind eliminierbar, wenn das Extensionalitätsaxiom zur Definition der Gleichheit verallgemeinert wird: