Probably the trickiest part of this construction pertaining to addition is the definition of additive inverses.
Πιθανώς το πιο λεπτό σημείο αυτής της κατασκευής που αφορούν την πρόσθεση είναι ο ορισμός των προσθετικών αντιστρόφων.