>>13411064I think counting, adding and subtracting are perfectly fine without axioms, but you kinda have to define an axiom if you want to specify where you start counting and adding from. like, math has different implications depending if you start at 0 or 1
