Seol mar théacs é seo: The shaping of deduction in Greek mathematics