I like to think that all theses things are already there as implied (by the chosen axioms) but unrealized potential, and then are made explicit by the act of ex

I like to think that all theses things are already there as implied (by the chosen axioms) but unrealized potential, and then are made explicit by the act of exploring that potential (from a chosen point of view/using a chosen formalism).