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^{\prime }\in \mathbb{N}$
3. $n\in \mathbb{N}\Rightarrow n^{\prime }=0$
4. $m,n\in \mathbb{N}\Rightarrow (m^{\prime }=n^{\prime }\Rightarrow m=n)$
5. $0\in X\wedge \mathrm{\forall }n\in \mathbb{N}:(n\in X\Rightarrow n^{\prime }\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.