Zermelo-Frankel set theory

I didn't know about this previously. Just went down a pleasant rabbit hole. Thanks!