4 ms·I usually see it refer to Peano Arithmeticby monstersinF 6y agoI usually see it refer to Peano Arithmetic