Außerdem stellt sich mir die Frage, was der Ausdruck Funktion im Axiomensystem ist - ich bin in Logik nicht so bewandert, aber der mathematische Funktionenbegriff lässt sich aus ZF(C) herleiten, darf dann ein Axiom diesen begriff verwenden? Oder gibt es einen logischen Funktionsbegriff, der in der Wiki nicht behandelt wurde? -- CC4