A system of axioms for geometry