A principios del siglo XIX, se intentó demostrarlo por reducción al absurdo, suponiendo que es falso y tratando de obtener una contradicción.