Cuerpo ordenado no arquimediano

El axioma de Arquímedes es una propiedad de ciertos campos ordenados como los números racionales o los números reales, indicando que dados dos elementos no nulos, existe un múltiplo entero del más pequeño que supera al mayor.

Si un campo contiene dos elementos positivos x < y para los cuales esto no es cierto, entonces x/y debe ser un infinitesimal, mayor que cero pero menor que cualquier fracción unitaria entera.

Los cuerpos hiperreales, cuerpos ordenados no arquimedianos que contienen a los números reales como subcuerpo, se pueden utilizar para proporcionar una base matemática para el análisis no estándar.

Max Dehn usó el cuerpo de Dehn, un ejemplo de un cuerpo ordenado no arquimediano, para construir geometrías no euclídeas en las que el quinto postulado de Euclides no sea verdadero pero, sin embargo, los triángulos tienen ángulos que suman π.

Con este significado de completitud de Dedekind no hay cuerpos ordenados completos que no sean arquimedianos.