In einem Peano-Halbring M {\displaystyle {}M}
gilt für jedes x ∈ M {\displaystyle {}x\in M} die Eigenschaft: Entweder ist x = 0 {\displaystyle {}x=0} oder es gibt ein u ∈ M {\displaystyle {}u\in M} mit x = u + 1 {\displaystyle {}x=u+1} .