I really recommend the YouTube channel “Another Roof”. His first few videos were building up exactly this idea, as well as building up all the real numbers (possibly complex too if I’m remembering correctly). Sounds like a dry topic but he uses humour really well throughout. https://youtube.com/@anotherroof
ok, I define 1 as {∅} and 2 as {∅, {∅}}
proving the addition holds is slightly more complicated
Now define “+”
I love the comment that it’s “occasionally useful”
Hmm yes… set theory… I don’t understand anything happening here
There is actually a really good explanation for us math-curious non-mathematicians here:
https://blog.plover.com/math/PM.html
That’s some good read, thank you so much.
I really recommend the YouTube channel “Another Roof”. His first few videos were building up exactly this idea, as well as building up all the real numbers (possibly complex too if I’m remembering correctly). Sounds like a dry topic but he uses humour really well throughout. https://youtube.com/@anotherroof
Here is a playlist of the topic: https://youtube.com/playlist?list=PLsdeQ7TnWVm_EQG1rmb34ZBYe5ohrkL3t
ooh, that looks interesting!