The once-surprising existence of non-Euclidean models of Euclid's first four axioms can be seen as a sort of mathematical joke.