Metamath: https://us.metamath.org/mpeuni/mmset.html#axioms
Isabelle/ZF: https://isabelle.in.tum.de/dist/library/FOL/ZF/ZF_Base.html