La discusión comienza por considerar la argumentación lógica siguiente:

 A: "Dos cosas que son iguales a una tercera son iguales entre sí
 B: "Dos lados de este triángulo son iguales al tercer lado"
y por lo tanto:

 Z: "Los dos lados de este triángulo son iguales entre sí"

Entonces, la tortuga le pregunta a Aquiles si la conclusión se deduce lógicamente de
las premisas, y Aquiles concede que, obviamente, lo hace. La tortuga le pregunta si
puede haber un lector de Euclides que admita que el argumento es lógicamente
válido como una secuencia, al tiempo que niega que las premisas A y B sean ciertas.
Aquiles acepta que este lector pueda existir, y que sostenga que, si A y B son ciertas,
entonces Z debe ser cierta, pero no es necesario aceptar que las premisas A y B son
ciertas.
Entonces, la tortuga de Aquiles se pregunta si puede existir un segundo tipo de lector,
uno que acepte que las premisas A y B son ciertas, pero que no acepta el principio de
que, si A y B son ciertas, entonces Z debe ser cierta. Aquiles otorga a la tortuga que
este segundo tipo de lector también puede existir. A continuación, la tortuga pide a
Aquiles que la trate como un lector de este segundo tipo, y que le obligue a aceptar
lógicamente que la premisa Z, debe ser cierta. (La tortuga es un lector que rechaza el
argumento en sí, la conclusión o validez del silogismo).
Después de escribir A, B y Z en su cuaderno, Aquiles pide a la tortuga que acepte la
hipótesis:

 C: "Si A y B son ciertas, entonces Z debe ser cierta"

La tortuga se compromete a aceptar C, si Aquiles le escribe lo que tiene que aceptar
en su cuaderno de notas, por lo que el nuevo argumento queda como:

 A: "Dos cosas que son iguales a una tercera son iguales entre sí"
 B: "Dos lados de este triángulo son iguales al tercer lado"
 C: "Si A y B son ciertas, entonces Z debe ser cierta"
y por lo tanto:

 Z: "Los dos lados de este triángulo son iguales entre sí"

Ahora la tortuga acepta la premisa C, pero sigue negándose a aceptar el
argumento extendido. Cuando Aquiles le exige que "Si usted acepta A y B y C,
entonces usted debe aceptar Z", la tortuga señala que esta es otra proposición
hipotética, y sugiere que incluso si acepta C aún puede negar la conclusión Z, si
no no se prueba previamente la veracidad de la siguiente hipótesis:

 D: "Si A y B y C son ciertas, entonces Z debe ser cierta"

La tortuga accede a aceptar cada premisa hipotética a la vez que Aquiles las
escribe, pero niega que la conclusión se siga de las premisas, ya que cada vez
niega la hipótesis de que, si todas las premisas escritas hasta ahora son
ciertas, Z debe ser verdad:
"¡Y por fin hemos llegado al final de esta pista de carreras ideal, ahora que usted
acepta A y B y C y D, y por supuesto, usted acepta Z”!
"¿Lo acepto?", pregunta la Tortuga inocentemente. "Que quede claro.
Acepto A y B y C y D. ¡Pero supongamos que todavía me niego a aceptar Z!"
 "¡Entonces la cogería por el cuello, y la forzaría a que aceptase Z!" respondió
Aquiles triunfalmente. "La lógica se lo diría: ahora que usted ha
aceptado A y B y C y D, ¡debe aceptar Z! Así que no tiene elección, ya ve."
"Vale la pena escribir lo que la lógica me tenga que decir" dijo la Tortuga. "Por lo
tanto, por favor, escriba en su libreta lo que llamaremos hipótesis E"
(E) Si A y B y C y D son ciertas, entonces Z debe ser cierta.
Hasta que no me haya asegurado de la hipótesis E, no puedo admitir la Z. Así que
es un paso necesario, ¿lo ve?"
"Claro", dijo Aquiles con un toque de tristeza en su tono de voz.
Por lo tanto, la lista de premisas continuó creciendo sin fin, dejando el argumento de
siempre en la forma:

 (A): "Dos cosas que son iguales a una tercera son iguales entre sí"
 (B): "Dos lados de este triángulo son iguales al tercer lado"
 (C): (A) y (B) ⇒ (Z)
 (D): (A) y (B) y (C) ⇒ (Z)
 ...
 (N): (A) y (B) y (C) y (D) y ... y (n - 1) ⇒ (Z)
y por lo tanto:

 (Z): "Los dos lados de este triángulo son iguales entre sí"
A cada paso, la Tortuga sostiene que, aunque acepta todas las premisas que han sido
escritas, hay alguna premisa más que se tendrá que verificar previamente para admitir
que (Z) es cierta.