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

A.黎曼几何中三角形的内角和大于180°是无法证明的。
B.两种几何的基本差别在于平行公设。
C.非欧几何虽然为数学提供了一个摒弃实用性，采用抽象与逻辑思维的智慧创造的自由天地，但这将会使数学脱离现实世界，变得没有意义。
D.随着社会的进步和科学研究水平的发展，人们已经认识到欧氏几何不再是在经验能够证实的范围内描述物质空间的唯一正确的几何。