Beim zweiten Hindenken kommen mir erhebliche Zweifel an "deiner" Definition einer Abbildung: ? - Heißt das, dass eine Abbildung auf allen Objekten von ZFC definiert sein muss? Das bringt doch keinen Sinn, selbst wenn en:Functional predicate es ähnlich formuliert. - Ich meine, die Definition einer Abbildung müsse heißen (etwas salopp hingeschrieben): Ich bin nach wie vor sehr dafür, die Prämisse weg zu lassen: Sie stört die Systematik (was sich in der Prädikatenlogik formulieren lässt, gehört nicht in ZFC!), verschlechtert die Lesbarkeit (Bandwurm...) und die Verstehbarkeit (das ist hier nicht definiert, und eine Definition ist schwer auffindbar). Außerdem scheint mir, dass durch P allein noch gar nicht eindeutig bestimmt ist, sondern von A abhängt. Ich versuch jetzt mal eine Umformulierung; ändere sie, wenn sie falsch ist. Sie erklärt auch, wie ich das mit den P und F gemeint habe. -- Peter Steinberg 00:00, 28. Jun 2005 (CEST)