Este tipo de geometría se basó en un estilo formal de deducciones a partir de cinco postulados básicos.