[sgdpk]

My view is that there is a landscape of mathematical truths, but we can only explore/discover precisely those things that our imagination allows.

In other words, we discover what we can invent.