[jacobolus]

As far as we know, a developed idea of deductively proving theorems in the style of the Elements postdates Pythagoras by about a century.