La idea es muy simple: en las matemáticas no está permitido llegar a una contradicción, es decir, obtener un resultado que sea exactamente la negación de otro resultado.