We prove that, in the framework of ordered geometry, the inner form of the Pasch axiom (IP) does not imply its outer form (OP). We also show that OP can be properly split into IP and the weak Pasch axiom (WP).
- Inner and outer form of the Pasch axiom
- Ordered geometry
- Weak pasch axiom
ASJC Scopus subject areas