La geometría que deriva de suponer falso el quinto axioma de Eurípides.