A, B, Z로 적은 짧은 논증에서 전제, 규칙, 결론의 관계를 정리했다.

그림에서 무엇을 볼까요?

생각그림 3 · A, B, Z로 적은 짧은 논증에서 전제, 규칙, 결론의 관계를 정리했다.

캐럴의 거북이는 유클리드 『원론』 제1명제에서 가져온 모양을 A, B, Z로 적게 한다. A는 같은 것과 같은 것들은 서로 같다는 일반 명제이고, B는 어떤 삼각형의 두 변이 같은 것과 각각 같다는 사례다. Z는 그 두 변이 서로 같다는 결론이다. 캐럴의 정확한 문장을 현대 기호로 단순화하면 A, B ⊢ Z라는 세 칸이 된다. 대화의 초점은 이 기하 명제의 증명이 아니라, 두 전제를 받아들인 사람이 결론을 받아들이도록 무엇이 이끄는가이다.