Si l'on ajoute des grandeurs égales à des grandeurs égales, les touts demeurent égaux.
Cette phrase signifie tout simplement en langage moderne que la relation d'équivalence qu'est l'égalité est compatible avec l'addition : si x, y et z sont des nombres tels que x = y, alors x + z = y + z.