Zum Inhalt springen

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