Piyanupa tiksiqallaykuna

Piyanupa tiksiqallaykunata wananchik, qallarinanmanta wari yupakunata pachachinapaq. Kamaran italiaki yupakamaq, Giuseppe Peano nisqa. Pisqantin kanku.

Kaykunam

1. $0\in \mathbb {N}$
2. $n\in \mathbb {N} \Rightarrow n'\in \mathbb {N}$
3. $n\in \mathbb {N} \Rightarrow n'\not =0$
4. $m,n\in \mathbb {N} \Rightarrow (m'=n'\Rightarrow m=n)$
5. $0\in X\land \forall n\in \mathbb {N} \colon (n\in X\Rightarrow n'\in X)\Rightarrow \mathbb {N} \subseteq X$

Simiwan

1. 0 chusaq wari yupam.
2. n wari yupaq kaptin, qatiqnin n'pas wari yupam.
3. 0 (chusaq) mana mayqan wari yupapa qatiqninchu.
4. Ihkay qatiqkuna paqtaptin, ñawpaqninkunapas paqtan.
5. 0 kachun kaqnin huk wari yupa qutu Xpa, astawanraq n Xpa kaqnin kaptin, qatiqnin n'pas X kaqnin kanqa, chaymanta nisun X = N.