euclid's axiom: (mathematics) any of five axioms that are generally recognized as the basis for Euclidean geometry
leaf miner: any of various small moths or dipterous flies whose larvae burrow into and feed on leaf tissue especially of the family Gracilariidae