Natural son
Natural son deb sanash (sanoq) uchun ishlatiladigan sonlarga aytiladi. Natural sonlar to'plami harfi bilan belgilanadi. Ularga 1, 2, 3, 4, va hokazo sonlar kiradi.
Natural sonlar cheksizdir.
Peano AksiomalariTahrirlash
Asosiy maqola: Peano Aksiomalari
Shunday funktsiyasini kiritamizki, u har bir soniga oʻzidan keningi sonni qoʻysin
- ( soni natural sondir);
- Agar , unda ( Natural sondan keyin keluvchi son — natural sondir);
- (1 hech qanday natural sondan keyin kelmaydi);
- Agar va , unda
- Induktsiya aksiomasi. — natural sonidan bogʻliq boʻlgan qandaydir biroʻrinli predikat boʻlsin. Unda:
- agar va , unda
- (Agar biron bir ayniyat uchun toʻ (induktsiya bazasi) va ihtiyoriy tahmini uchun, toʻgʻri boʻlsa , hamda uchun ham toʻgʻri boʻlsa (induktsion tahmin), unda uhtiyoriy natural sonlar uchun toʻgʻri boʻladi ).
Asosiy xossalariTahrirlash
- Yigʻindining komutativligi.
- Koʻpaytirishining komutativligi.
- Yigʻindining assotsiativligi.
- Koʻpaytirishining assotsiativligi.
- Koʻpaytirishining yigʻindiga nisbatan distributivligi.