Peano-Halbring/Vorgängereigenschaft/Fakt

< Peano-Halbring < Vorgängereigenschaft

In einem Peano-Halbring ${}M$

gilt für jedes ${}x\in M$ die Eigenschaft: Entweder ist ${}x=0$ oder es gibt ein ${}u\in M$ mit ${}x=u+1$ .

Zum Beweis, Alternativen Beweis erstellen

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.