In geometry, Pasch's theorem, stated in 1882, is a result of plane geometry which cannot be derived from Euclid's postulates. It would now be considered as order theory, but the point is makes is in relation to the axiomatic method.
The statement is as follows. Given points
- a, b, c, and d
on a line, if it is known that the points are ordered as (a,b,c) and (b,c,d), then it is also true that (a,b,d).
References