数学中的“真”与“可证”是本质相同的概念,可证明的命题一定是真的,真的命题一定是可形式证明的 数学中的“真”与“可证”是本质相同的概念,可证明的命题一定是真的,真的命题一定是可形式证明的 发布时间:2025-08-19 00:34:40