문장 목록에서 추론으로에서 전제, 규칙, 결론의 관계를 정리했다.

그림에서 무엇을 볼까요?

생각그림 16 · 문장 목록에서 추론으로에서 전제, 규칙, 결론의 관계를 정리했다.

캐럴의 거북이는 논리를 무너뜨린 것이 아니라 논증의 두 요소를 갈라 보였다. 참이라고 놓는 전제들의 목록과, 그 목록에서 결론을 산출하는 규칙의 적용은 서로 다른 일을 한다. A와 B 뒤에 C, D, E를 끝없이 보태도 규칙을 실제로 쓰지 않으면 Z는 공책의 다음 줄에 나타나지 않는다. 그래서 좋은 증명은 전제를 분명히 적는 동시에 어느 규칙을 어디에 적용했는지도 밝힌다. 다음 회차에서는 “예고하지 않은 시험”이라는 발표가 스스로의 가능성을 흔드는 지식과 예측의 역설로 넘어간다.