“우리 추론을 바로잡는 유일한 방법은 그것을 수학자들의 것처럼 명확하게 만드는 것이다. 그러면 오류를 한눈에 찾을 수 있고, 분쟁이 있을 때 '계산해 봅시다'라고 말하면 될 것이다.”