この10公理からなる系は、現在ツェルメロ・フレンケルの公理系(zf)と呼ばれ、公理的集合論で最も普通に用いられている公理系である。