La axiomatización y los números naturales I

Desde hace un siglo, existe la tendencia a reducir los diversos conceptos de la matemática a conceptos puramente lógicos. Basta recordar los nombres clásicos de Dedekind,Cantor,Frege, Russell, Zermelo, y los de los numerosos y famosos lógicos matemáticos de hoy en día, y considerar los muchos sistemas lógicos que se han construido, para ver el gran interés que hay por este problema de reducción