Kategorie:Peano-Axiome für die Nachfolgerfunktion in der ersten Stufe (MSW)