전제를 더하면 왜 해결되지 않는가에서 전제, 규칙, 결론의 관계를 정리했다.

그림에서 무엇을 볼까요?

생각그림 9 · 전제를 더하면 왜 해결되지 않는가에서 전제, 규칙, 결론의 관계를 정리했다.

어떤 유한한 단계에서 멈추어도 구조는 같다. 지금까지 적힌 전제들을 모두 P라는 하나의 묶음으로 보고 “P이면 Z”를 추가했다고 하자. 그래도 P와 “P이면 Z”에서 Z를 얻으려면 조건문 제거, 곧 전건 긍정식이라고 부르는 추론 규칙을 한 번 써야 한다. 거북이는 그 사용을 다시 문장으로 만들어 전제 목록에 넣으라고 요구한다. 따라서 문제의 원인이 규칙 적용인데 같은 종류의 문장 추가만 반복하면 원인을 건드리지 못한다.