哥德尔不完全性定理把命题“正确”与“可证明”区别开来了;“可证明”的命题一定“正确”;“正确”的命题不一定“可证明”