Pasch's axiom

Here is a fact so obvious you have used it a thousand times without noticing: if a straight line walks into a triangle through one side, it has to come out through another side. It cannot enter and then vanish, or somehow exit through a corner only. Euclid relied on this constantly when he reasoned 'the line crosses the triangle here, so it must hit that side over there' — yet he never stated it as a postulate. Moritz Pasch, in 1882, was the first to notice the gap and name the missing axiom.

Precisely, in Hilbert's order group: let A, B, C be three points not on a line, and let a line m lie in their plane and pass through no vertex. Then if m crosses the side AB (passes between A and B), it must also cross exactly one of the other two sides — either AC or BC, but not both. The phrase 'passes between A and B' is itself governed by the betweenness axioms, which is why Pasch's axiom lives in the order family: it is a statement about how 'between' behaves for whole triangles, not just for three points on one line. It is the axiom that lets order propagate across the plane.

Why it matters: Pasch's axiom is what makes the intuitive idea of 'inside' and 'outside' a triangle logically respectable, and it is needed to prove basic results Euclid took for granted — including parts of the exterior angle theorem and the very fact that a line divides the plane into two sides. Without it, you could imagine a bizarre geometry where a line slips into a triangle and never comes out. With it, the plane behaves the way our eyes insist it should, but now for a stated reason rather than by looking.