En términos de lenguajes formales el análisis no estándar es una extensión lógica de la teoría ordinaria de los números reales que además es conservadora (en el sentido que sus teoremas deducibles coinciden con los deducibles en la teoría ordinaria de los números reales).