To prove the usual properties of addition, one must first define addition for the context in question.
Για να αποδείξει τις συνήθεις ιδιότητες της πρόσθεσης, κάποιος πρέπει πρώτα να ορίσει την πρόσθεση στο ευρύτερο πλαίσιο του προβλήματος.