El problema es pues si realmente el V postulado es independiente de los otros cuatro, o bien puede deducirse de ellos (junto con las nociones comunes y las definiciones).