Why Mathematics Needs a Generative Foundation? | Synapse