Huh, did not know! Unfortunately they don’t imply the results of Peano arithmetic, but that would be asking for too much, heheh.
Huh, did not know! Unfortunately they don’t imply the results of Peano arithmetic, but that would be asking for too much, heheh.