Successor function

From Free net encyclopedia

Revision as of 10:30, 28 September 2005; view current revision
←Older revision | Newer revision→
#REDIRECTPeano axioms