Prueba de deducción Para ello tenemos que volver a Tales de Mileto, el pensador griego de que hablamos en el Capítulo 1. Dice la tradición que Pitágoras fue discípulo suyo. Tales había elaborado un pulcro sistema para demostrar razonadamente la verdad de enunciados o teoremas matemáticos. El punto de arranque eran los «axiomas» o enunciados cuya verdad no se ponía en duda. A partir de los axiomas se llegaba a una determinada conclusión; aceptada ésta, se podía obtener una segunda, y así sucesivamente. Pitágoras utilizó el sistema de Tales —llamado «deducción»—, para demostrar el teorema que lleva su nombre. Y es un método que se ha aplicado desde entonces hasta nuestros días. Puede que no fuese realmente Tales quien inventara el sistema de demostración por deducción; es posible que lo aprendiera de los babilonios y que el nombre del verdadero inventor permanezca en la penumbra. Pero aunque Tales fuese el inventor de la deducción matemática, fue Pitágoras quien le dio fama.