this post was submitted on 12 Jun 2025
1198 points (98.6% liked)
memes
15556 readers
3054 users here now
Community rules
1. Be civil
No trolling, bigotry or other insulting / annoying behaviour
2. No politics
This is non-politics community. For political memes please go to !politicalmemes@lemmy.world
3. No recent reposts
Check for reposts when posting a meme, you can only repost after 1 month
4. No bots
No bots without the express approval of the mods or the admins
5. No Spam/Ads
No advertisements or spam. This is an instance rule and the only way to live.
A collection of some classic Lemmy memes for your enjoyment
Sister communities
- !tenforward@lemmy.world : Star Trek memes, chat and shitposts
- !lemmyshitpost@lemmy.world : Lemmy Shitposts, anything and everything goes.
- !linuxmemes@lemmy.world : Linux themed memes
- !comicstrips@lemmy.world : for those who love comic stories.
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Start with set theory. After about 300 pages you'll be able to show what 1+1 equals.
To be fair, the first 100 pages of that was justifying the set theory definition for what numbers are. The following two hundred papers are proving that a process of iterative counting we call addition functions in a consistent and useful way, given the set theory way of defining numbers. Once we get to that point, 1+1 is easy. Then we get to start talking more deeply about iteration as a process, leading to considering iterating addition (aka multiplication), iterating multiplication (aka exponents), etc. But that stuff is for the next thousand pages.
Remember, 0 is defined as the amount of things in the empty set {}. 1 is defined as the amount of things in a set containing the empty set {{}}. Each following natural number is defined as the amount of things in a set containing each of the previous nonnegative integers. So for example 2 is the amount of things in a set containing the empty set and a set containing the empty set {{}, {{}}}, 3 is the amount of things in a set containing the empty set, a set containing the empty set, and a set containing the empty set and a set containing the empty set {{}, {{}}, {{}, {{}}}}, etc. All natural numbers are just counting increasingly recursively labeled nothing. Welcome to math.