Формаллĕ арифметика
Формаллĕ арифметика — туйăм-сисĕмпе мар, аксиомăсемпе никĕсленекен арифметика. Пеа́но аксиомисем — натураллă хисепсен аксиомисен тытăмĕсенчен пĕри, ăна XIX ĕмĕрте Итали математикĕ Джузеппе Пеано кĕртнĕ.
Вуламалли
тӳрлет- Peano, G. Arithmetices principia, nova methodo exposita. Bocca, Torino, 1889.
- Peano, G. Formulaire de mathematiques. Tome II — № 2. Bocca, Torino, 1897.
- Арнольд И. В. Теоретическая арифметика. М.:Учпедгиз, 1938.
Каçăсем
тӳрлет- Murzi, Mauro, "Henri Poincaré", Internet Encyclopedia of Philosophy, <http://www.utm.edu/research/iep/p/poincare.htm>
Includes a discussion of Poincaré's critique of the Peano's axioms.
- Karlis Podnieks [1]. — С. 93–121.
- Burris, Stanley N. What are numbers, and what is their meaning?: Dedekind (2001). Commentary on Dedekind's work.
Асăрхавсем
тӳрлет
Урăх чĕлхе уйрăмĕнче туллирех статья пур Peano axioms(акăлч.) Çак статьяна куçарса эсир проекта пулăшма пултаратăр.
|