Comment by robinzfc

No need to wonder for long, just have a look.

Metamath: https://us.metamath.org/mpeuni/mmset.html#axioms

Isabelle/ZF: https://isabelle.in.tum.de/dist/library/FOL/ZF/ZF_Base.html