Fold line — where it appears
Named by 2 essays across one field — each of them below, with the objects they name alongside it.
The axiom that names two folds
Bring one line onto another and the operation is satisfied by either of two folds, always exactly perpendicular to one another, creasing the paper in completely different places. Over four thousand random line pairs on a square, both folds land on the sheet two thousand nine hundred and sixty-five times, and the statement of the axiom does not say which one is meant. The fifth axiom is worse: its two answers are at any angle at all, from half a degree apart to square.
How far from the nearest reference
One fold puts nine reference points on a square sheet and two folds put five hundred and sixty-five. That is sixty-three times as many points, and it brings the worst-covered spot on the paper from a third of a sheet away to a twelfth — four times closer. A count of references is not a measure of what a fold buys, because a set of points can be arbitrarily crowded and still leave most of the sheet out of reach.
Named alongside it
The objects these essays reach for when they reach for this one.
AxiomConstructionReference pointSheet shapeAmbiguityAngle bisectorApproximationCovering radiusExact divisionThe Huzita–Hatori axioms