Definition:Zermelo Set Theory

Definition
Zermelo set theory is a system of axiomatic set theory.

Its basis consists of a system of Aristotelian logic, appropriately axiomatised, together with the following axioms: