Posts: 287
Threads: 11
Likes Received: 29 in 23 posts
Likes Given: 66
Joined: Nov 2023
Reputation:
-6
11-14-2023, 06:26 AM
(This post was last modified: 11-14-2023, 06:35 AM by pythagorean.)
1 + 1 = 2
Why it took 379 pages to prove 1+1=2
Three Dog Night - One (1969)
The Logical Song
test
Posts: 216
Threads: 1
Likes Received: 509 in 166 posts
Likes Given: 301
Joined: Apr 2022
Reputation:
6
11-15-2023, 01:37 AM
1 + 1 = 2
Axioms:
For all x, x+0=x
For all x,y, x+s(y)=s(x+y)
Definitions:
1=s(0), 2=s(1), 3=s(2), 4=s(3)
Then
1+1= 1+s(0)
=s(1+0)
=s(1)
=2
Also,
2+2=2+s(1)
=s(2+1)
=s(2+s(0))
=s(s(2+0))
=s(s(2))
=s(3)
=4