Damit das Induktionsaxiom für beliebige (definierbare) Eigenschaften von natürlichen Zahlen nutzbar ist, muß für jeden Ausdruck ϕ(n) ein entsprechendes Axiom gegeben sein. Die Menge der obigen ...