Definition:Natural Number Addition