Page Index - iaminfinityiq/successor-function GitHub Wiki 5 page(s) in this GitHub Wiki: Home First axiom Please reload this page Four equality relation axioms Please reload this page