数学中的“真”与“可证”是本质相同的概念，可证明的命题一定是真的，真的命题一定是可形式证明的