The Greeks used logic to derive conclusions from definitions and axioms, and used mathematical rigor to prove them. Greek arithmetic refers to the arithmetic written within the Greek language from the time of Thales of Miletus (~600 BC) to the …