欧式几何的第五公设目前能证明吗?

问题描述:

欧式几何的第五公设目前能证明吗?

19世纪时数学家Eugenio Beltrami证明了第五公设与前四个公理是相互独立的,即不能由前四个公理所证明.