非欧几何的创始人是谁？

欧几里得的《几何原本》至今仍是中学平面几何的基石。《几何原本***13》第一册有35个定义，5个公理，5个公设。这些公理和公设是本书的基石，其他命题和定理是这些定义、公理和公设的逻辑推理。

五个公设中，前四个比较容易验证，比如两点之间连一条直线。但第五公设“一条直线可以且只能通过直线外的一点与原直线平行”很难验证。欧几里德本人对此表示怀疑，并总是试图避免引用它。因此，在《几何原本》中，前28个命题的证明中没有使用第五公设；直到第二十九个命题，才不得不使用第五个公设。

你能删除第五公设吗？其他公理和公设能证明第五公设吗？自公元5世纪以来，人们世世代代都在探索这个问题。1815年，罗巴切夫斯基开始研究第五公设。经过10年的苦思冥想，他公开表示第五公设无法被其他公设和公理证明。并且采用了一个与第五公设相反的公理，即“至少两条已知线通过线外已知点后，不能与已知线相交”。新的公理系统由其他原有公设、公理和修正后的第五公设(上面提到的公理)组成。一种新的非欧几何形成了，它和欧几何一样严谨。人们把这种新几何叫做罗巴尔切夫斯基几何。

从罗巴切夫斯基的公理系统出发，运用逻辑推理的方法，可以得到与欧几里得几何完全不同的结果。比如两条平行线的距离不相等，三角形内角之和小于180。

高斯很久以前就提出了非欧几何的大纲。然而，他生前从未发表过这一成果。高斯的同学武尔冈保耶证明他搞了一辈子第五公设，毫无建树，内心很痛苦。他的儿子乔宝叶继续钻研这个难题，终于比罗巴切夫斯基晚几年独立发表了非欧几何的成果。因此，鲍耶也成为了非欧几何的创始人之一。