text: дағдылы сандар санау үшін пайдаланылуы мүмкін (бір алма, екі алма, үш алма, …). дағдылы сандар заттарды табиғи санау кезінде, немесе реттік санау кезінде пайдаланылатын сандар. дағдылы сандарды екі түрде айқындауға болады: заттарды реттік санау (нөмірлеу) кезіндегідей (бірінші, екінші, үшінші, …) заттардың санын айтуға, немесе шектеулі жиындардың қуаттылығын сипаттауда (біреу, екеу, үшеу, …) теріс, бүтін емес сандар дағдылы сандарға жатпайды. дағдылы сандар жиынын нышанымен белгілейді. дағдылы сандар жиыны шексіз кез келген дағдылы сан берілсе, одан да үлкен дағдылы сан табылады. x санына осыдан кейінгі келесі санды қоятын s функциясын енгізейік. натурал сан); егер онда (натурал саннан кейінгі келесі сан да натурал болады); (1 санының аолында еш натурал сан жоқ); егер және онда (егер натурал саны бір уақытта бірден -дан кейінгі, әрі бірден -дан кейінгі натурал сан болса, онда ); толық индукция аксиомасы. натурал параметріне байланысты әлдебір бірорынды предикат болсын. сонда: :: егер және онда :: (егер әлдебір тұжырым үшін орындалса (индукция негізі) және кез келген үшін, дұрыс деп жорамалданса -де орындалса (индукция жорамалы), онда барлық натурал саны үшін орындалады. қосудың коммутативтігі. көбейтудің коммутативтігі. қосудың ассоциативтігі. көбейтудің ассоциативтігі. көбейтудің қосуға қатысты натурал сандар арқылы математикалық талдаудың негізгі түсінігі нақты сан анықталады. сан ұғымын логикалық талдау жасау теориялық арифметиканың үлесіне тиген. ежелгі замандардағы санау және қарапайым өлшеулердің қажеттелігінен туындаған арифметика тұрмыстық қажеттілік, есептеу, қашықтық өлшеу, уақыт анықтау, аудан шамасын анықтау және өзгедей ғылымдардың сұранысы мен мұқтаждықтарын қанағаттандыру мақсатында дамытылған. алғашқы кездері санау мөлшері көп емес нәрселердің жиынын анықтау үшін қолданылғаны белгілі. үйреншікті санау шегінен артық болған заттар “көп” деген бір атаумен аталған. математика әлемі