That’s not correct. Elliptic geometry fails to satisfy some of the other postulates, depending on how they are phrased. I’m not too familiar with the standard ways of making Euclid’s postulates rigorous, but if you’re looking at Hilbert’s axioms instead, then elliptic geometry fails to satisfy O3 (the third order axiom): if three points A, B, C are on a line, then any of the points is between the other two. Possibly some other axioms are violated as well.
Notably, elliptic geometry does not contain any parallel lines, while it is a theorem of neutral geometry that parallel lines do in fact exist.
Hyperbolic geometry was actually necessary to prove the independence of Euclid’s fifth postulate, and few would call it a “fairly simple counterexample”.
I agree that introducing elliptic geometry (and other simple examples like the Fano plane) earlier on in history would have made the discussion of Euclid’s fifth postulate much more coherent much sooner.
That’s not correct. Elliptic geometry fails to satisfy some of the other postulates, depending on how they are phrased. I’m not too familiar with the standard ways of making Euclid’s postulates rigorous, but if you’re looking at Hilbert’s axioms instead, then elliptic geometry fails to satisfy O3 (the third order axiom): if three points A, B, C are on a line, then any of the points is between the other two. Possibly some other axioms are violated as well.
Notably, elliptic geometry does not contain any parallel lines, while it is a theorem of neutral geometry that parallel lines do in fact exist.
Hyperbolic geometry was actually necessary to prove the independence of Euclid’s fifth postulate, and few would call it a “fairly simple counterexample”.
I agree that introducing elliptic geometry (and other simple examples like the Fano plane) earlier on in history would have made the discussion of Euclid’s fifth postulate much more coherent much sooner.