Added Peano's third and fourth axioms.
Added Peano's third and fourth axioms.

Ignore-this: e6a1b789f8811fb14a6b601c8b80a26c

darcs-hash:20110316025730-3bd4e-7a34d313d577c13e12485e5b1ec5594a90146a99.gz

asr/fotc,asr/fotc