Erststufige Peano-Arithmetik/Kommutativer Halbring/Fakt

Links hinzufügen
Aus Wikiversity

Aus den erststufigen Peanoaxiomen sind die Axiome eines kommutativen Halbringes ableitbar.

Einen Beweis erstellen
Abgerufen von „https://de.wikiversity.org/w/index.php?title=Erststufige_Peano-Arithmetik/Kommutativer_Halbring/Fakt&oldid=839489“