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

axiomatic set theory
     
         one of several approaches to set theory, consisting
        of a formal language for talking about sets and a collection
        of axioms describing how they behave.
     
        there are many different axiomatisations for set theory.
        each takes a slightly different approach to the problem of
        finding a theory that captures as much as possible of the
        intuitive idea of what a set is, while avoiding the
        paradoxes that result from accepting all of it, the most
        famous being russell's paradox.
     
        the main source of trouble in naive set theory is the idea
        that you can specify a set by saying whether each object in
        the universe is in the "set" or not.  accordingly, the most
        important differences between different axiomatisations of set
        theory concern the restrictions they place on this idea known
        as "comprehension".
     
        zermelo frankel set theory, the most commonly used
        axiomatisation, gets round it by in effect saying that you
        can only use this principle to define subsets of existing
        sets.
     
        nbg von neumann-bernays-goedel set theory sort of allows
        comprehension for all formulae without restriction, but
        distinguishes between two kinds of set, so that the sets
        produced by applying comprehension are only second-class sets.
        nbg is exactly as powerful as zf, in the sense that any
        statement that can be formalised in both theories is a theorem
        of zf if and only if it is a theorem of zfc.
     
        mk morse-kelley set theory is a strengthened version of nbg,
        with a simpler axiom system.  it is strictly stronger than
        nbg, and it is possible that nbg might be consistent but mk
        inconsistent.
     
        nf http://math.boisestate.edu/~holmes/holmes/nf.html "new
        foundations", a theory developed by willard van orman quine,
        places a very different restriction on comprehension: it only
        works when the formula describing the membership condition for
        your putative set is "stratified", which means that it could
        be made to make sense if you worked in a system where every
        set had a level attached to it, so that a level-n set could
        only be a member of sets of level n+1.  this doesn't mean
        that there are actually levels attached to sets in nf.  nf is
        very different from zf; for instance, in nf the universe is a
        set which it isn't in zf, because the whole point of zf is
        that it forbids sets that are "too large", and it can be
        proved that the axiom of choice is false in nf
     
        ml "modern logic" is to nf as nbg is to zf.  its name
        derives from the title of the book in which quine introduced
        an early, defective, form of it.  it is stronger than zf it
        can prove things that zf can't, but if nf is consistent then
        ml is too.
     
        2003-09-21
     
     
see also:
set theory formal language axioms axiomatisations paradoxes russell's paradox 
zermelo frankel set theory formulae lt;nfgt; axiom of choice 

Axiomatic >> A Words
Axiomatic, definition of term: Axiomatic
axiomatic_pag1.html

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

Axiomatic set theory - Wikipedia, the free encyclopedia
...... to traditional axiomatic set theory. Topos theory can be used to ... The basic concepts of set theory are set and membership. A set is ... ..
http://www.wikipedia.org/wiki/Axiomatic_set_theory, score=100, date indexed=February 4, 2006, 3:20 am

axiomatic set theory in TutorGig Dictionary
...Set Theory with a Universal Set * Set Theory * Set Theory * Axiomatic ... 2003-09-21) Matching Word(s). axiomatic set theory Search Dictionary ... ..
http://www.tutorgig.com/d/axiomatic+set+theory, score=68, date indexed=December 16, 2005, 10:14 pm

Set Theory - new and used books
...... in Axiomatic set Theory. .. No previous knowledge of set theory or ... More results for query: set theory. from Logic and Set Theory with ... ..
http://www.isbn.pl/K-set-theory/P-1/, score=63, date indexed=December 16, 2005, 6:31 pm

Citations: Axiomatic Set Theory - Suppes (ResearchIndex)
...Axiomatic Set Theory. Van Nostrand,. Mechanizing Set Theory - Cardinal ... Axiomatic Set Theory. Dover, New York, 1972.. Theory of Partial-Order ... ..
http://citeseer.ist.psu.edu/context/40732/0, score=60, date indexed=January 30, 2006, 11:52 pm

Paul Bernays - new and used books
...... system of axiomatic set theory. No special knowledge of set thory and ... BERNAYS Paul - Axiomatic Set Theory. With a Historical Introduction by ... ..
http://www.isbn.pl/A-Paul-Bernays/, score=60, date indexed=January 30, 2006, 12:43 am

sciforums.com - Axiomatic set theory question
...Axiomatic set theory implies that it's not always true. I'm not ... If you have a set of dogs that has no dogs it cannot be a set of dogs ... ..
http://www.sciforums.com/showthread.php?t=47050&page=1, score=58, date indexed=January 27, 2006, 3:41 pm

Page 1 2 3 Next