This is what creates the impression of a mathematical universe that is “out there” in Platonia, a universe which humans are exploring rather than creating.
It seems to me that humans are creating axioms and then exploring theorems that follow from them.
From the original post:
It seems to me that humans are creating axioms and then exploring theorems that follow from them.