Наряду с геометрией арифметика является наиболее непосредственно интуитивной областью математики. Вполне естественно поэтому именно с арифметики начать попытку формализации и строгого обоснования математики.