The arithmetical operations of addition and multiplication and the order relation can also be defined using first-order axioms.
Οι αριθμητικές διαδικασίες της πρόσθεσης και του πολλαπλασιασμού και της σχέσης διάταξης μπορούν να οριστούν χρησιμοποιώντας αξιώματα πρώτης τάξεως.