Successor function

From Free net encyclopedia

#REDIRECTPeano axioms