Added to Favorites

Computing Dictionary

A set theory with the axioms of Zermelo set theory (Extensionality, Union, Pair-set, Foundation, Restriction, Infinity, Power-set) plus the Replacement axiom schema:

If F(x,y) is a formula such that for any x, there is a unique y making F true, and X is a set, then

F x : x in X

is a set. In other words, if you do something to each element of a set, the result is a set.

An important but controversial axiom which is NOT part of ZF theory is the Axiom of Choice.

(1995-04-10)

Explore Dictionary.com

Previous Definition: zermelo axiom

Next Definition: zermelo set theory

Words Near: Zermelo Fränkel set theory

More from Thesaurus.com

Synonyms and Antonyms for Zermelo Fränkel set theory

More from Reference.com

Search for articles containing Zermelo Fränkel set theory

More from Dictionary.com Translator

Translate Zermelo Fränkel set theory into French

Translate Zermelo Fränkel set theory into German

Translate Zermelo Fränkel set theory into Italian

Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Nearby Words

Copyright © 2014 Dictionary.com, LLC. All rights reserved.