Peano-Halbring/Vorgängereigenschaft/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

In einem Peano-Halbring

gilt für jedes die Eigenschaft: Entweder ist oder es gibt ein mit .

Zum Beweis, Alternativen Beweis erstellen