>>11245448let there exist two axioms: first the axiom of ordance, second the axiom of choice. first we say that the ordance of the first axiom is to be itself.
we make this statement via the axiom of choice. the self ordance results in a unit. a unit is not divisble and does not reference anything but itself.
now we use the axiom of ordance and the axiom of choice together with the unit. we make the statement, this unit is linked to another unit. we continue to do this infinitly. we now state this is the natural number line. we take this numberline and in a sorts just extend our first point but now make it go in the other way. this gives us our integers. we can make similar tricks to obtain the rational, reals, and complex groups
finally a number is a number because it references how many units away from the origin it is. in this way we may talk about the addition of units as the simple joining via the axiom of ordance between two different numbers. the result is also a number which refers to a unit some known units away from the origin.
taking the plus operation as this joining function and the numbers as we normally use them, we obtain the statement 1+1=2 to be coherent and based souly off of two axioms.
