Full Idea
Definition provides us with the means for converting our intuitions into mathematically usable concepts.
Gist of Idea
Definitions make our intuitions mathematically useful
Source
John Mayberry (What Required for Foundation for Maths? [1994], p.405-1)
Book Reference
'Philosophy of Mathematics: anthology', ed/tr. Jacquette,Dale [Blackwell 2002], p.405