Com'è noto la geometria euclidea si basa sull'assunto che data una linea retta esiste una e una sola retta parallela alla retta data. Siccome questo non è possibile derivarlo dai primi quattro assiomi (o "postulati di Euclide") si sono sviluppate geometrie non-euclidee, formalmente valide. Mi domandavo però se tutto non sia dovuto al fatto che è difficile definire che cosa sia in realtà una linea retta. Le illustrazioni che ho trovato riguardo alle geometrie non-euclidee sembrano rappresentare tutte linee rette in qualche modo curve, contararie alla comune percezione di una linea retta come "linea diritta". Ma come si fa a dimostrare geometricamente la dirittura di una linea retta?