Dehogy szól pozitív egészekről. A pozitív egészek csak egy modellje a Peano-axiómarendszernek.
Természetes számokról szól, amiben van egy 0-val jelölt valami.
Hogy ennek a modellje egy darab valami, vagy tízezer darab valamit tartalmazó halmaz, vagy egy üres halmaz, az már más kérdés.
A Peano-axiómarendszer modellje lehet a {0,1,2,3....} halmaz is, és a {1,2,3,4,5....} halmaz is, csak akkor mást jelent a 0 jelű valami.
Ezért van az, hogy a 0-t valaki természetes számnak tekinti, valaki meg nem. Attól függ, hogy éppen melyik halmazt és műveleteket választja a Peano-axiomarendszer modelljének.
Nézz utána az axiómarendszerek modelljének és megvilágosodsz.