# Definition:Zermelo-Fraenkel Set Theory/Historical Note

Ernst Zermelo first proposed this supposedly rigorous system of axiomatic set theory in $1900$, in order to confront the paradoxes which the axiom of comprehension lead to.
It was modified by Abraham Fraenkel in $1922$.