Geometrisation of First-Order Logic