Matematika aksiomalar deb nomlangan fundamental "haqiqatlarni" qabul qilish va ular bilan tizim qurishdir. Siz qaysi aksiomalarni ishlatmoqchi bo'lsangiz, 1 + 1 = 2 ni isbotlashingiz mumkin. Masalan, siz Peano aksiomalaridan foydalanishingiz mumkin: qo'shish uchun: ∀n: n+0 = n ∀n, m: n+s (((m) = s (((n+m) Va ta'riflar: 1 s (((0) 2 s ((1) s (((0)) Bizda: 1 + 1 1 + s ((0) = ((1 + 1) 2 aksiom 2 = s ((1) 2 aksiom 1
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence