Es sei M {\displaystyle {}M} eine unendliche Menge und N ( M ) = E ( M ) / ∼ {\displaystyle {}\mathbb {N} (M)={\mathcal {E}}(M)/\sim } sei die Anzahlmenge von M {\displaystyle {}M} zusammen mit der Nachfolgerabbildung ′ {\displaystyle {}'} und mit 0 := [ ∅ ] {\displaystyle {}0:=[\emptyset ]} .
Dann ist ( N ( M ) , 0 , ′ ) {\displaystyle {}(\mathbb {N} (M),0,')} ein Peano-Modell für die natürlichen Zahlen.
![{\displaystyle {}0:=[\emptyset ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66a9ed509cd47dbfb2e993829a1daf745fd77382)
