In elementary school, I remember learning about the basic algebraic properties of the integers like identities, commutativity, associativity, and distributivity, and not really thinking much about them (I mean, as a kid I thought they were obvious and not worth dedicating a month to, haha). Now that I'm starting abstract algebra, these four things pop up again, but this time around, these laws seem far more mysterious, perhaps because they are being used as some sort of "basis" for generating a "valid" algebraic structure, instead of just random facts about numbers.
My question is this; I would expect there to be lots of formulas regarding elementary arithmetic, but somehow these four ideas generate everything. How could one trying to isolate algebraic properties of $\mathbb Z$ come up with this exact "basis"? Is there some kind of logical/algorithmic method we could use to systematically discover these laws and be sure that they encompass everything we care about when it comes to elementary arithmetic?
An idea I had was that if someone could tell a story about building arithmetic from the Peano axioms, like here: https://www.math.wustl.edu/~kumar/courses/310-2011/Peano.pdf, sort of like: ok we defined the operator $+$ that takes in two things from $\mathbb N$ and spits out one thing in $\mathbb N$ recursively by saying $n+1 = \sigma(n)$ and $n+\sigma(m)=\sigma(n+m)$. Now an example: we already defined "$1$", and let's define $2$ as $2 = \sigma(1)$. Then $1+1=\sigma(1)=2$. Nice! How about $2+1$? Well, $2+1 = \sigma(2)$ which we'll call $3$. But what if I asked about $1+2$? Then the 1st rule won't help, but we can write $1+2=1+\sigma(1)=\sigma(1+1)=\sigma(2)=3$. Yay! But this was annoying because we know intuitively that switching the things around on the $+$ operator doesn't change anything, so let's prove this property (which we'll call commutativity).
However, I can't seem to shoehorn associativity or distributivity in a convincing manner, so perhaps this is the wrong approach.
Another idea I had was like starting again from the Peano axioms and then saying like "ok, we rigorously defined numbers and addition and multiplication and induction. Let's do the age old Gauss integer sum problem from the Peano axiom framework!". This problem immediately forces us to define addition for $n$ numbers (associativity), and then the end result involves $n(n+1)$ so distributivity comes up naturally. However, this is kind of awkward (like it's awkward to shoehorn in Gauss's sum problem randomly in the middle discussing foundational arithmetic--at least it feels slightly unnatural in my eyes), so I don't know. Phrased another way, my complaints for this idea is that there arise two questions: "why should we consider this Gauss problem" and "why should this problem be all that is needed to develop every property we care about in arithmetic"?
Criticisms and ideas are welcome!