Aritmética no estándar

En lógica matemática, un modelo no estándar de la aritmética es un modelo para la aritmética de Peano (de primer orden) que contiene números no estándar. El modelo estándar de la aritmética es el compuesto por los números naturales {0, 1, 2, ...}, una sucesión infinita y numerable ordenada linealmente. Un modelo no estándar contiene elementos adicionales fuera de esta sucesión. La existencia de modelos no estándar para la aritmética fue demostrado por Thoralf Skolem en 1934.