Aplicando este esquema se le ha considerado el primero en utilizar la demostración llamada ad absurdum (reducción al absurdo), que toma por hipótesis lo contrario de lo que se considera cierto (en su caso, las afirmaciones del adversario) y muestra las incongruencias que se derivan de una consideración de esto como verdadero, obligando al interlocutor a rechazar las premisas y a aceptar las tesis opuestas, que eran las que se querían demostrar en un principio.