Explicación general de los tipos de axiomas que se tienen en los números reales y algunas de sus aplicaciones en la demostración de teoremas.