显然可定义的数学问题构成了一个NP问题，那么由P=NP可知，可定义的数学问题也是P问题
因此由假设可知，人类可以在多项式时间内证明P=NP
然而截止到目前为止仍没有人证明P=NP，这与假设矛盾。因此人类不可以证明P=NP
那么问题来了，请问这是否构成一个严格的证明