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 w