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

Формаллĕ арифметика — туйăм-сисĕмпе мар, аксиомăсемпе никĕсленекен арифметика. 
Пеа́но аксиомисем — натураллă хисепсен аксиомисен тытăмĕсенчен пĕри, ăна XIX ĕмĕрте Итали математикĕ Джузеппе Пеано кĕртнĕ.

 Вуламалли 
 Peano, G. Arithmetices principia, nova methodo exposita. Bocca, Torino, 1889.
 Peano, G. Formulaire de mathematiques. Tome II — № 2. Bocca, Torino, 1897.
 Арнольд И. В. Теоретическая арифметика . М.:Учпедгиз, 1938.
 Каçăсем 
  Includes a discussion of Poincaré's critique of the Peano's axioms.

  Commentary on Dedekind's work.
 Асăрхавсем 

Категори:Хисепсен теорийĕ
Категори:Математикăлла логика
Категори:Арифметикăн формаллĕ теорийĕсем
Категори:Математика никĕслевĕсем
Категори:Арифметика
Категори:Джузеппе Пеано