Die Mischung von f und P innerhalb der Beschreibung des Axiomenschemas gefällt mir auch nicht, aber "P(X,Y)" und "f(X)" ist ja leider was anderes. Erst "Y=f(X)" entspricht "P(X,Y)" - auf der genannten englischen Seite und auch oben auf dieser Seite sind einige Punkte zu "Definitionserweiterungen" angesprochen worden, die ich bisher in de-WP noch nicht gesehen habe. --SirJective 23:16, 26. Jun 2005 (CEST)