What Mathematics Is: Constraint, Object, and Derivation in the Foundations of Mathematics | Synapse