“
[M]athematical reality lies outside us ...our function is to discover or observe it, and ...the theorems ...we prove, and ...describe grandiloquently 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 [...]
— G. H. HARDY