Формаллĕ арифметика

Формаллĕ арифметика — туйăм-сисĕмпе мар, аксиомăсемпе никĕсленекен арифметика. Пеа́но аксиомисем — натураллă хисепсен аксиомисен тытăмĕсенчен пĕри, ăна 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(акăлч.)

Çак статьяна куçарса эсир проекта пулăшма пултаратăр.