News for hackers. Stuff that matters.

A comment on Connections between Abstract Algebra and High School Algebra (2015). Parent comment

Re:Connections between Abstract Algebra and High School Alge... by wz1000 on Wednesday December 06, 2017 @10:20AM (#15861664)
It takes just a couple of lines to "prove" that 1+1 = 2. Most of the proof is simply defining 1,2,+ and =.

https://en.wikipedia.org/wiki/Peano_axioms

[ Parent | on HN ]

There are no comments on this comment yet.