Welcome guest
You're not logged in.
297 users online, thereof 0 logged in

Zermelo-Fraenkel Set Theory

In the midst of the crisis the Russel’s paradox caused, Ferdinand Zermelo and Adolf Fraenkel created a much more simple, as compared to Russel’s and Whitehead’s “Principia Mathematica”, set of axioms, also avoiding this paradox. At least until now, nobody was able to discover any other contradictions and paradoxes resulting from their axioms. Therefore, Zermelo-Fraenkel Axioms are today a standard form of axiomatic set theory.

It is now time to revise our first definition of the set and provide a more thorough fundament of the set theory, based on these axioms.

| | | | created: 2014-02-20 21:42:22 | modified: 2019-07-26 06:42:14 | by: bookofproofs

1.Axiom: Zermelo-Fraenkel Axioms

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)