Peano-Halbring/Vorgängereigenschaft/Fakt

Aus Wikiversity

Zur Navigation springen Zur Suche springen

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

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Peano-Halbring/Vorgängereigenschaft/Fakt&oldid=553691“

Theorie der Peano-Halbringe/Fakten