Para obtener una prueba válida debe demostrarse que, dada una proposición formula_1, «"no" formula_1» implica una propiedad falsa en el sistema matemático utilizado.