https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory