A rough outline of how to rederive math from the #PeanoAxioms to #subtraction
#subtraction #PeanoAxioms