Omawiany aksjomat Euklidesa o prostych równoległych (AE) w perspektywie  historycznej.  Aksjomaty Hilberta stanowią podstawę matematyczną wykładu. Na tej podstawie wykazujemy niezależność AE oraz jego równoważne wersje.  Pokazujemy funkcję AE w ELementach Euklidesa. Omawiamy historyczne `dowody' AE. 

Jest to kontynuacja kursu Analiza Niestandardowa z ubiegłego roku. Dalej korzystamy z rozszerzenia ciała liczb rzeczywistych metoda ultrapotęgi. Tym razem  badamy klasyczne pojęcia tologiczne.

Kurs obejmuje historie matematyki greckiej oraz nowożytnej do XVII wieku.

Wprowadzenie do Elementów Euklidesa; metoda wyczerpywania na przykładzie traktatu Archimedesa o Mierzeniu Koła. Geometria, Kartezjusza.