S.: Despite physicists, proof is essential in mathematics. Synthese 111 (1997)

by Mac Lane