Home - iaminfinityiq/successor-function GitHub Wiki

This wiki introduces you to the successor function and also Peano axioms!

First axiom: Click here!
Four equality relation inequalities: Click here!