？第五公设到底能不能证明？
罗巴切夫斯基几何.1820年代，俄国喀山大学教授罗巴切夫斯基在证明第五公设的过程中，他走了另一条路子。他提出了一个和欧氏平行公设相矛盾的命题，用它来代替第五公设，然后与欧氏几何的前四个公设结合成一个公理系统，展开一系列的推理。他认为如果这个系统在基础的推理中出现矛盾，就等于证明了第五公设。此即数学中的反证法。但是，在他极为细致深入的推理过程中，得出了一个又一个在直觉上匪夷所思，但在逻辑上毫无矛盾的命题。最后，罗巴切夫斯基得出两个重要的结论：这种几何