Let S be a set . A binary operation on S is a function S x S to S . A unary operation on S is a function S to S. The natural numbers consist of a set, a distinguished element, and a unary operation on the set. N is the set of existence which is given in the Peano s