“우리의 추론을 고치려면 수학자들처럼 명확하게 만드는 게 유일한 방법이야. 그럼 실수를 한눈에 찾을 수 있고, 논쟁이 생기면 계산을 해보자고 할 수 있어.”