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

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

Вуламалли тӳрлет

Каçăсем тӳрлет

Includes a discussion of Poincaré's critique of the Peano's axioms.

Асăрхавсем тӳрлет