Erststufige Peano-Arithmetik/Kommutativer Halbring/Fakt

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

Einen Beweis erstellen