A Reverse Engineer's Map of Standard Math Definitions

acz writes: I put up an experimental math manual that tries to explain why standard definitions appear, using a simple lens: Start with a space of candidates, apply constraints, and treat what remains as the definition or theorem you end up using.

It’s not claiming math from nothing. It’s explicitly regime-declared: it follows the classical branch and marks where that branch is a choice (rather than a contradiction forcing it). The goal is traceability: you can see which ideas are introduced because something broke, and you can see common failure modes instead of just final results.