Definition:Zermelo-Fraenkel Set Theory with Axiom of Choice

Definition
Zermelo-Fraenkel Set Theory with the Axiom of Choice is a system of axiomatic set theory upon which the whole of (at least conventional) mathematics can be based.

Its basis consists of a system of Aristotelian logic, appropriately axiomatised, together with the Zermelo-Fraenkel axioms of Set Theory and the (controversial) Axiom of Choice.

These are as follows:

Also known as
Zermelo-Fraenkel Set Theory with the Axiom of Choice is popularly seen abbreviated as ZFC.

Also see

 * Definition:Zermelo-Fraenkel Set Theory