ok, I define 1 as {∅} and 2 as {∅, {∅}}

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. youtube.com/@anotherroof