3 ms·This is just Peano arithmetic with extra stepsby unification_fan 2y agoThis is just Peano arithmetic with extra steps