Modelle der Arithmetik

Sei A ein Axiomensystem erster Stufe fur die Theorie der ganzen (positiven und negativen) Zahlen; A enthalte 0, 1, Addition und Multiplikation und eventuell abzahlbar unendlich viele weitere Konstanten. Unter den Axiomen von A sollen die Axiome von Peano enthalten sein; das Induktionsschema sei dabei so allgemein wie moglich gefast.