Buni isbotlash uchun Peano aksiomlarini aniqlaymiz: 1- ∀x,¬(sx=0). Demak, 0 hech kimning avlodi emas, u birinchi butun son 2- ∀x,(x=0y,x=s(y.)) Agar biz bir sonni olsak, u nol yoki boshqa 3- ∀x,∀y,(s(x) =s(y) ⇒x=y) ning avlodi. Agar ikkita sonning avlodi teng bo'lsa, unda bu ikkita son teng bo'ladi. Boshqa so'zlar bilan aytganda, avlodiy funksiyasi in'ektivdir! 4- ∀x,¬(x+0=x) Keyin 0 ni har qanday songa qo'shish bu sonni o'zgartirmaydi. Boshqa so'zlar bilan aytganda, 0 neytral elementdir. 5-φφx,∀y,(x
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence