two-by-two contradictory axiomatic systems for geometry (like one single parallel, no