Pasch's Theorem/Historical Note

Historical Note on Pasch's Theorem
This intuitively obvious statement in geometry is bizarrely not provable from Euclid's axioms.

founded the discipline of ordered geometry, which is a branch of geometry centered around the concept of betweenness, and hence can be viewed as a branch of order theory.