Natürliche Mengen und das Axiom des Verstehens.