[1] : The Free On-line Dictionary of Computing (27 SEP 03)

zermelo frankel set theory
     
         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 fx,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
     
     
see also:
set theory axiom zermelo set theory axiom schema formula f x : x in x 
axiom of choice 

Chip Set >> C Words
Chip Set, definition of term: Chip Set
chip+set_pag1.html

Cell Theory >> C Words
Cell Theory, definition of term: Cell Theory
cell+theory_pag1.html

Atomic Theory >> A Words
Atomic Theory, definition of term: Atomic Theory
atomic+theory_pag1.html