「歐氏幾何」：各本之異

首四公理，甚簡明，然平行公理，冗長甚耳。泰西疇人嘗以首四公理證平行公理，皆不可得。十九世紀，高斯等人以新公理代平行公理，得新幾何，今曰[[非歐幾何]]。然十七世紀初，[[德薩格]]創[[射影幾何]]，後[[彭賽列]]光之，謂平行線相交于無限遠，今亦歸非歐幾何之屬也。