"The function of logic in mathematics is critical rather than constructive."
January 1, 1970
https://en.wikiquote.org/wiki/George_Frederick_James_Temple