En consecuencia, asumir AE o su negación nunca llevará a una contradicción que no se pudiera obtener sin tal supuesto.