Sigue la axiomática de Nelson y presenta la axiomática de Hrbacek en un apéndice. Demuestra para ambas el teorema de conservación, según el cual todo teorema interno demostrable a partir de los axiomas no estándar es también un teorema de ZFC. Se muestra el enfoque no estándar del análisis real de una y varias variables y de la topología general....
