Hacker News new | ask | show | jobs
by donbright 2898 days ago
is there a proof that real numbers can be added?
1 comments
kgilpin 2898 days ago
As far as I know, addition is something you define (an axiom) in order to construct the real (or other) numbers.

https://sites.math.washington.edu/~hart/m524/realprop.pdf

link