Ok
there are these things called axioms which are highly dependent on schizophrenia and religious belief.
So god gave us these numbers called natural numbers, and we have this ability called abstract reference.
if we alter our reference we can get integers, and we alter our reference again we can have rationals, and reals are just rationals too.
We have addition, then big addition, then huge addition, and so on, also called multiplication and exponentiation.
Then you have undo aka the inverse (preserved map)
There is this Successor operator, I like ()++.
1 is the unit, it's required for a successor. 1++ = 2 by definition.
an so on.
now we inherently know that the closest ancestor of 2 is 1, 2 - 1 = 1
now we create these ideas of structure preservation in these maps, we call them arithmetic rule or properties whatever.
they have consequences in big addition and huge addition.
that concludes todays lesson