Sure in abstraction, 1+1=2 and it seems to have been proven as so, probably due to some axiom, pretty much because that is how that system was defined
Comprehension fail
It was proved true because it is true.
An axiomatic system cannot prove [all of]its axioms
For example euclidean geometry assumes parallel lines never touch. It cannot test this as the system is built on it.
They can in non euclidean space – ie the real world where space curves due to gravity.
The system has limits on what it can find. you seem to think it is limited in that it cannot find truths. you are wrong.
With respect its not a debatable point you can be confused or wrong if you like.
the physical quantity which it labels is a fundamental truth of our physical plane.
tis true 10 is more than 9 and less than 11. Its pretty easy to demonstrate it as real. Remove some fingers see if you have lost anything other than an “abstract quality/social construct ” of appendages 😉