Eine Menge M {\displaystyle {}M} mit zwei ausgezeichneten Elementen 0 {\displaystyle {}0} und 1 {\displaystyle {}1} und zwei Verknüpfungen + {\displaystyle {}+} und ⋅ {\displaystyle {}\cdot } heißt Peano-Halbring, wenn diese Strukturen die erststufigen Peano-Axiome erfüllen.
