Axiom · Complete mathematical record
FULL-FIELD-06-R2 · Full-field derivation graph
Select a record · arrows follow declared use
Declared edgeSelected ancestry
Reduced navigation hides redundant arrows only. Every actual declared parent stays visible in the record. Layers measure the recorded route, not intrinsic depth or completeness of a mathematical frontier.
Declared parents
Complete membership · all records are in this file
| Record | Layer | Full title | Compared with baseline | Declared parents |
|---|