As soon as x is replaced by a specific number, the statement form turns into a bona fide statement, and it is then either provable in the system, or not.
一旦x被一个特定的数代替，它就马上变成一个真正的特定命题，于是它要么是在系统中可证明的，要么不。