**GEB, стр. 90–91**
Саккери (1667–1733): решил доказать пятый постулат от противного.
Вывел много "странных" теорем... и остановился, найдя нечто "противное самому понятию прямой линии".
Опубликовал: "Евклид, освобождённый от недостатков".
🌀 Он не понял, что открыл гиперболическую геометрию.