common notions

Common notions, as defined by Euclid, are logical statements that are accepted as true.

• Things which are equal to the same thing are also equal to one another
• If equals be added to equals, the wholes are equal
• If equals be subtracted from equals, the remainders are equal
• Things which coincide with one another are equal to one another
• The whole is greater than the part