Дағдылы сан
Қазақша Уикипедияның мағлұматы
(Натурал сан бетінен айдатылған)
Дағдылы сандар — заттарды табиғи санау кезінде, немесе реттік санау кезінде пайдаланылатын сандар.
Дағдылы сандарды екі түрде айқындауға болады:
- заттарды реттік санау (нөмірлеу) кезіндегідей (бірінші, екінші, үшінші, …)
- заттардың санын айтуға, немесе шектеулі жиындардың қуаттылығын сипаттауда (біреу, екеу, үшеу, …)
Теріс, бүтін емес сандар — дағдылы сандарға жатпайды. Дағдылы сандар жиынын
нышанымен белгілейді. Дағдылы сандар жиыны шексіз — кез келген дағдылы сан берілсе, одан да үлкен дағдылы сан табылады.
[өңдеу] Пеано аксиомалары
x санына осыдан кейінгі келесі санды қоятын S функциясын енгізейік.
(1 - натурал сан);- Егер
, онда
(Натурал саннан кейінгі келесі сан да натурал болады);
(1 санының аолында еш натурал сан жоқ);- Егер S(b) = a және S(c) = a, онда b = c (егер a натурал саны бір уақытта бірден b-дан кейінгі, әрі бірден c-дан кейінгі натурал сан болса, онда b = c);
- Толық индукция аксиомасы. P(n) — натурал n параметріне байланысты әлдебір бірорынды предикат болсын. Сонда:
-
- егер P(1) және
, онда 
- (Егер әлдебір тұжырым P n = 1 үшін орындалса (индукция негізі) және кез келген n үшін, P(n) дұрыс деп жорамалданса P(n + 1)-де орындалса (индукция жорамалы), онда P(n) барлық натурал n саны үшін орындалады.
- егер P(1) және
[өңдеу] Негізгі қасиеттері
- Қосудың коммутативтігі.

- Көбейтудің коммутативтігі.

- Қосудың ассоциативтігі.

- Көбейтудің ассоциативтігі.

- Көбейтудің қосуға қатысты дистрибутивтігі.


