证明一个东西不存在，比证明它存在更有力

两千年的证明努力全部失败，才有人想到换个方向——不证明平行公设成立，而是证明它不可证明。这个方向转换的智慧是：当一条路走了两千年都走不通，也许路本身就是错的，该换一个问法。