Reprise et critique des Eléments d'Euclide, ce traité présente le concept d'espace à partir des notions d'éloignement, de séparation des parties et de mouvement naturel. Roberval (1602-1675) prend position sur des thèmes essentiels de l'épistémologie du XVIIe siècle : la théorie de la définition, le rôle de l'intuition, la place du mouvement en géométrie.