罗巴切夫斯总结了2000年来人们致力于证明平行公理而失败的教训，认识到平行公理是独立的公理，证明它是不可能的，并断定还存在着不同于传统的欧几里德几何学的另外。从中你认为他利用了（）思维。