A lecture in four movements

Euclid and the geometry
of possible worlds.

History · proof · the parallel problem · beyond the flat plane