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

Асăрхавсем 

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