Peano aksiomları  1891-ci ildə italiyan riyaziyyatçısı və məntiqçisi Güzeppe Peano tərəfindən natural ədədlər üçün irəli sürülmüş aksiomlar sistemidir. Bu aksiomlar natural ədədləri təyin etmək üçün istifadə olunur.

Natural ədəd boş olmayan, “ardıncadır” münasibəti olan və aşağıdakı askiomları ödəyən hər hansı bir N çoxluğunun elementlərinə deyilir (a -nın ardınca gələn elementi a∗ ilə işarə edəcəyik).

1. Heç bir elementin ardınca olmayan 1 elementi var.

2. Ixtiyari a∈N üçün onun ardınca gələn a∗∈N  elementi var.

3. İstənilən a∈N elementi ən çoxu bir elementin ardıncadır. Yəni (a∗=b∗)⇒(a=b).

4. (İnduksiya aksiomu) Tutaq ki, natural ədədlərdən ibarət M çoxluğu aşağıdakı xassələrə malikdir:

1) 1∈ M;

2) əgər  a∈M olarsa, onda Onda  a∗=a+1∈M bütün natural ədədlər M-ə daxildir.

Mənbə: Misir Mərdanov, Sabir Mirzəyev, Şabala Sadıqov, “Məktəblinin riyaziyyatdan izahlı lüğəti” kitabı , Bakı 2016.

© Bütün hüquqlar qorunur. Xəbərlərdən istifadə edərkən www.imm.az saytına istinad zəruridir.