El primer intento de demostrarlo por reducción al absurdo fue ensayado por Saccheri en 1733.