El axioma de Bolyai, equivalente al quinto postulado de Euclides sobre las rectas paralelas dice que «"dada una recta "r" y un punto "P" externo a ella, hay una y solo una recta que pasa por "P" que no interseca a 'r""».