[bibanez]

Very interesting! Still, I don't know if the Babylonians developed formal proofs in their time (the greeks, in turn, did).