You have seen earlier that the set of all natural numbers is closed under addition (closure property). Is this an axiom or something you can prove?