Es decir, dado un lenguaje formal y un aparato deductivo, no es posible demostrar una fórmula y su negación.