知识/定理
图西批判欧几里得第五公设（平行公设），尝试证明/替代——非欧几何思想的先驱。
公式
等价命题「三角形内角和 = π」与第五公设互推。
证明思路
（反证/等价）证明若干平行公设等价形式，虽未成功推翻，但动摇了其「不证自明」地位。
应用/例子
为 19 世纪非欧几何（罗巴切夫斯基等）铺路。
意义/影响
千年平行公设难题的正式化起点；「质疑公理」传统的阿拉伯代表。
所属：四 中世纪·伊斯兰黄金时代 ｜ 难题证明状态 ↔ 数学难题编年
DOXA · 数学编年史 · 知识详情
13世纪 ｜ 图西 ｜ 几何·拓扑 ｜ 突破
图西批判欧几里得第五公设（平行公设），尝试证明/替代——非欧几何思想的先驱。
等价命题「三角形内角和 = π」与第五公设互推。
（反证/等价）证明若干平行公设等价形式，虽未成功推翻，但动摇了其「不证自明」地位。
为 19 世纪非欧几何（罗巴切夫斯基等）铺路。
千年平行公设难题的正式化起点；「质疑公理」传统的阿拉伯代表。
所属：四 中世纪·伊斯兰黄金时代 ｜ 难题证明状态 ↔ 数学难题编年