Independence — where it appears
Named by 2 essays across 2 fields — each of them below, with the objects they name alongside it.
What each axiom is worth
The list of seven folds is complete, and the proof of that says nothing at all about whether its members are independent or equal. Measured on a bare square, one of the four elementary axioms supplies every fold the others cannot and the other three supply nothing. Two rounds later the ranking has inverted, and the one that carried the first round is the least productive of the four.
A question the record is too small to answer
Five of the fifteen claims rest on one surviving source and five on two, and those two counts are exactly what an estimate of the claims that left no source at all is made of. Applied, it says two and a half are missing. Its ninety-five per cent interval runs from fifteen to thirty-one, re-reading a single entry's source count moves it by a fifth, and its independence assumption is false in the one way documents actually fail — which is what makes computing it worth more than declining to.
Named alongside it
The objects these essays reach for when they reach for this one.
AttestationAxiomCompletenessDocumentary recordEnumerationExpected-valueThe Huzita–Hatori axiomsIdentifiabilityPrimary sourceReachable setReference pointThe axioms