当永远无法证明某个命题时，该命题就是一个错误的命题。