Definition:Addition in Peano Structure