¿Qué quier dicir esto? Tanto Bolyai como Lobatchevsky parten d'un oxetu xeométricu y establecen sobre él unos postulaos que son idénticos a los de Euclides en Los Elementos, sacante'l quintu. Pretenden orixinalmente razonar por amenorgamientu al absurdu: si'l V postuláu depende de los otros cuatro, cuando lo sustituya por aquél que diz esautamente lo contrario, he de llegar a dalguna contradicción lóxica. Lo sorprendente ye que nun se llega a contradicción nenguna, lo cual quier dicir dos cuesas: