En otras palabras, todo es demostrable cuando se tiene una contradicción.