The function of logic in mathematics is critical rather than constructive.
100 Years of Mathematics: a Personal Viewpoint (1981)
