On Thursday, February 27, 2014 2:11:16 PM UTC-5, John Gabriel wrote: > @Dan Christensen: > > > > You are not allowed to use any of the other arithmetic operators unless you can first show these from the Peano successor function. There is no -(minus) or / (divide) until you can form these from the successor function. >
Subtraction is defined in terms of addition, which can be constructed from the successor function. Similarly for division.