Logical analysis is indispensable for an examination of the strength of a mathematical structure, but it is useless for its conception and design. The great advances in mathematics have not been made by logic but by creative imagination.

100 Years of Mathematics: a Personal Viewpoint (1981)