분명한 더미에서 시작해 한 알씩 줄이는 전제와 반복, 받아들이기 어려운 결론을 분리했다.

그림에서 무엇을 볼까요?

생각그림 04 · 분명한 더미에서 시작해 한 알씩 줄이는 전제와 반복, 받아들이기 어려운 결론을 분리했다.

큰 모래더미에 정확히 n알이 있다고 하자. 첫째, 10만 알은 더미다. 둘째, n알이 더미라면 한 알 적은 n-1알도 더미다. 셋째, 이 둘을 반복 적용하면 99,999알도 더미이고 99,998알도 더미이며, 마침내 한 알도 더미라는 결론에 이른다. 결론은 상식과 충돌하지만 추론의 모양은 익숙한 연쇄 추론과 수학적 귀납법을 닮았다. 쟁점은 둘째 전제를 모든 n에 예외 없이 적용해도 되는지에 있다.