Die Diskussion wurde schon 2005 geführt mit allen wesentlichen Kritikpunkten, die hier nicht nochmals wiederholt werden müssen. Die Lösung blieb aber unbefriedigend. Ich habe versucht alle Schwachstellen zu beiseitigen. Der Begriff "Abbildung" ist hier weniger üblich; meist wird "Funktion" benützt nach dem Usus in der Prädikatenlogik, die ja einst "Funktionenkalkül" hieß. Dieser undefinierte Begriff darf im Axiomenschema selbst nicht erscheinen, das ist ein Verstoß gegen die Prinzipien der Formalisierung. Dafür gehört hier die Eindeutigkeitsbedingung her. In der Verbalisierung bevorzuge ich Fraenkels Wortwahl, die auch den Namen des Axiomenschemas motiviert. Die neue Version baue ich umgehend ein.-- Wilfried Neumaier 18:45, 6. Jul. 2010 (CEST)