The conclusion seems inescapable: that formal logic has to be taken over by the mathematicians. The fact is that there does not exist an adequate logic at the present time, and unless the mathematicians create one, no one else is likely to do so.

A Century of Mathematics In America (Volume 2), Retiring address of the AMS 1924 (p. 219)