The usual set theory with extensionality, empty set, pairing, union, power set, infinity and full separation, before adjoining replacement. Modern presentations often include foundation; the convention should be specified when comparing theories. Class-theoretic variants add classes and class comprehension, rather than treating proper classes as sets.
Zermelo set theory, often referred to as Zermelo's axiomatic set theory, is an early foundational system for set theory developed by the German mathematician Ernst Zermelo in the early 20th century, primarily around 1908. This system provides a framework for understanding sets and their properties while addressing certain paradoxes that arise in naive set theory, such as Russell's paradox.
New to topics? Read the docs here!