In geometry, Pasch's axiom is a statement in plane geometry, used implicitly by Euclid, which cannot be derived from the postulates as Euclid gave them.[1] Its essential role was discovered by Moritz Pasch in 1882.[2]