Больше истории, меньше формул и вычислений, хотя быть они должны.
Темы примерно такие:
Постулаты Евклида
Попытки доказательства V постулата Евклида
Кант об априорных понятиях
Появление неевклидовой геометрии
Янош Бояи.
Геометрия Лобачевского
Три модели геометрии Лобачевского
Непротиворечивость геометрии Лобачевского
Развитие евклидовой геометрии