Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Se conoce como alta aritmtica al estudio de las propiedades y las funciones de los
nmeros. En este marco se puede hablar de la aritmtica binaria (que apela al cero
y al uno para representar valores), la aritmtica modular (que trabaja con mdulos)
y la aritmtica ordinal (orientada a los nmeros ordinales), entre otras.
La aritmtica de segundo orden, por otra parte, est compuesta por distintos
sistemas axiomticos que permiten la formalizacin de los nmeros naturales y de
los subconjuntos formados por stos.