Когда-то высказывающее существование неклидовых моделей первых четырех аксиомов Евклида можно рассматривать как своего рода математическая шутка.