[javier m]

Por ejemplo, en la asignatura de Análisis Matemático (que es una asignatura de 3º del grado de Matemáticas de la UB) en el examen nos cayó demostrar que todo conjunto acotado superiormente en tiene supremo, y la demostración a partir de los axiomas de los números reales ocupa como unas 3 páginas

Hola Angel, ¿eso no es ya un axioma?