Logic is the hygiene the mathematician practices to keep his ideas healthy and strong.
Volume 99, Part 2, Number 9, The American Mathematical Monthly, November, 1992 (p. 861)
