←back to thread

114 points lemper | 1 comments | | HN request time: 0.215s | source
1. ngcc_hk ◴[] No.41923671[source]
Finally get why they need a thousand pages to prove 1+1=2!

The issue is 1+1 has no guarantee it will be two. You look carefully you can see the first 1 is exactly the same as the second 1 !!!!

Hence put the set of all Russell that do that kind of maths and add to another Russell also do that maths. You still ended up with one Russell.

That is why go all the trouble to say no intersection and first oneness set does not overlap with the second oneness set etc etc

Qed