Originally posted by mtthwUsing the Axioms of Zermelo and Fraenkel;
Probably 🙂
I suspect proofs using the set theory definitions of cardinal numbers might be more interesting, but I don't remember much set theory!
Using S(A) to denote the sucessor of A and BU to denote the Big Union
For all ordinals A and B and all limit-ordinals L addition is defined with the following;
A + 0 = A
A + S(B) = S(A+B)
A + L = BU{ A+B | B in L}
Using that on 1 + 2;
1 + 2 = 1 + S(1) = S( 1 + 1 ) = S( 1 + S(0) ) = S( S( 1 + 0 ) ) = S( S( 1 ) ) = S( 2 ) = 3
Originally posted by JirakonInfinities don't exist 🙁
What about the points that define a circle with a radius of infinity?
That's the first thing that came to mind. It would have to be infinite, since if it were a finite number of points, one could easily draw a horizontal line far above the last point. I'm pretty sure that's the solution.
Originally posted by FabianFnasI would think yes more than 2+3=5, but not more than 1+3=4. 1+n gives you the number in the sequence that comes after n.
No, not more then 2+3=5, because you cannot define every combinations of a, b, and c so a+b=c.
Better to use the axioms and go from there.
However, addition is a defined operation, is it not?