>>12866041>No but you need to build multiple number systems to do a single operation instead of of a single system? In programming that's at the very least inefficient.There's nothing wrong with inefficiency in math, especially if you're trying to construct arithmetic.
For example, I've constructed complex arithmetic in Brainfuck. There's no mathematical operations in that language other than the successor, its inverse (which, yes, implies sign), and conditional iteration
All of which are derivable in some way from the Peano axioms.
>1 and 1That's tautological. it doesn't tell you anything about the existence of another proposition "2"