/sci/ - Science & Math

Idk if this too elementary for /mg/, I just wanted to share how satisfying it is to just sit down and try to work out most of the theorems in elementary arithmetic simply from the axioms
a+0=a
a+S(b)=S(a+b)
a*0=0
a*S(b)=a*b+a
and induction
I did just that and derived theorems like a*b=b*a. a*(b*c)=(a*b)*c, a+b=b+a and it's very satisfying to see it work out so nicely (I have never seen the proofs before). You should try it.
>>11883722
I know that feel bro.

Will memorizing poetry help me become better at maths?
Apparently Euler had memorized the entire Aeneid.