¿Cómo se llama a la proposición no evidente que se demuestra a partir de los axiomas y postulados?