I believe that mathematical reality lies outside us, that our function is to discover or observe it, and that the theorems which we prove, and which we describe grandiloquent as our ‘creations’, are simply our notes of our observations. This view has been held, in one form or another, by many philosophers of high reputation from Plato onwards.

A Mathematician's Apology