第二百九十二章 愛因斯坦已退出群聊（9.8k跪求月票啊！！！！） （24 / 80）

他便沿著這條思路進行研究，著手尋求第五公設不可證的解答。

他首先做的，便是對第五公設加以否定。

也就是假設“過平面上直線外一點，至少可引兩條直線與已知直線不相交“。

然後用這個否定命題和其他公理公設組成新的公理系統，並由此展開邏輯推演。