# GetWiki

*naive set theory*

ARTICLE SUBJECTS

being →

database →

ethics →

fiction →

history →

internet →

language →

linux →

logic →

method →

news →

policy →

purpose →

religion →

science →

software →

truth →

unix →

wiki →

ARTICLE TYPES

essay →

feed →

help →

system →

wiki →

ARTICLE ORIGINS

critical →

forked →

imported →

original →

naive set theory

[ temporary import ]

**please note:**

- the content below is remote from Wikipedia

- it has been imported raw for GetWiki

**NaÃ¯ve set theory**is any of several theories of sets used in the discussion of the foundations of mathematics.Jeff Miller writes that

*naÃ¯ve set theory*(as opposed to axiomatic set theory) was used occasionally in the 1940s and became an established term in the 1950s. It appears in Hermann Weyl's review of P. A. Schilpp (Ed). (1946). â€œThe Philosophy of Bertrand Russellâ€

*American Mathematical Monthly*, 53(4), p. 210 and in a review by Laszlo Kalmar. (1946). â€œThe Paradox of Kleene and Rosserâ€.

*Journal of Symbolic Logic*, 11(4), p. 136. (JSTOR). weblink The term was later popularized in a book by Paul Halmos (1960).

*NaÃ¯ve Set Theory*.Unlike axiomatic set theories, which are defined using formal logic, naÃ¯ve set theory is defined informally, in natural language. It describes the aspects of mathematical sets familiar in discrete mathematics (for example Venn diagrams and symbolic reasoning about their Boolean algebra), and suffices for the everyday use of set theory concepts in contemporary mathematics.{{citation

| last = Mac Lane | first = Saunders

| contribution = Categorical algebra and set-theoretic foundations

| mr = 0282791

| pages = 231â€“240

| publisher = Amer. Math. Soc., Providence, R.I.

| title = Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967)

| year = 1971}}. "The working mathematicians usually thought in terms of a naÃ¯ve set theory (probably one more or less equivalent to ZF) ... a practical requirement [of any new foundational system] could be that this system could be used "naÃ¯vely" by mathematicians not sophisticated in foundational research" (p. 236).

Sets are of great importance in mathematics; in modern formal treatments, most mathematical objects (numbers, relations, functions, etc.) are defined in terms of sets. NaÃ¯ve set theory suffices for many purposes, while also serving as a stepping-stone towards more formal treatments. | contribution = Categorical algebra and set-theoretic foundations

| mr = 0282791

| pages = 231â€“240

| publisher = Amer. Math. Soc., Providence, R.I.

| title = Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967)

| year = 1971}}. "The working mathematicians usually thought in terms of a naÃ¯ve set theory (probably one more or less equivalent to ZF) ... a practical requirement [of any new foundational system] could be that this system could be used "naÃ¯vely" by mathematicians not sophisticated in foundational research" (p. 236).

## Method

A**naÃ¯ve theory**in the sense of "naÃ¯ve set theory" is a non-formalized theory, that is, a theory that uses a natural language to describe sets and operations on sets. The words

**and**,

**or**,

**if ... then**,

**not**,

**for some**,

**for every**are treated as in ordinary mathematics. As a matter of convenience, use of naÃ¯ve set theory and its formalism prevails even in higher mathematics – including in more formal settings of set theory itself.The first development of set theory was a naÃ¯ve set theory. It was created at the end of the 19th century by Georg Cantor as part of his study of infinite sets{{harvnb|Cantor|1874}} and developed by Gottlob Frege in his

*Begriffsschrift*.NaÃ¯ve set theory may refer to several very distinct notions. It may refer to

- Informal presentation of an axiomatic set theory, e.g. as in
*NaÃ¯ve Set Theory*by Paul Halmos. - Early or later versions of Georg Cantor's theory and other informal systems.
- Decidedly inconsistent theories (whether axiomatic or not), such as a theory of Gottlob Frege{{harvnb|Frege|1893}} In Volume 2, Jena 1903. pp. 253-261 Frege discusses the antionomy in the afterword. that yielded Russell's paradox, and theories of Giuseppe Peano{{harvnb|Peano|1889}} Axiom 52. chap. IV produces antinomies. and Richard Dedekind.

### Paradoxes

The assumption that any property may be used to form a set, without restriction, leads to paradoxes. One common example is Russell's paradox: there is no set consisting of "all sets that do not contain themselves". Thus consistent systems of naÃ¯ve set theory must include some limitations on the principles which can be used to form sets.### Cantor's theory

Some believe that Georg Cantor's set theory was not actually implicated in the set-theoretic paradoxes (see FrÃ¡polli 1991). One difficulty in determining this with certainty is that Cantor did not provide an axiomatization of his system. By 1899, Cantor was aware of some of the paradoxes following from unrestricted interpretation of his theory, for instance Cantor's paradoxLetter from Cantor to David Hilbert on September 26, 1897, {{harvnb|Meschkowski|Nilson|1991}} p. 388. and the Burali-Forti paradox,Letter from Cantor to Richard Dedekind on August 3, 1899, {{harvnb|Meschkowski|Nilson|1991}} p. 408. and did not believe that they discredited his theory.Letters from Cantor to Richard Dedekind on August 3, 1899 and on August 30, 1899, {{harvnb|Zermelo|1932}} p. 448 (System aller denkbaren Klassen) and {{harvnb|Meschkowski|Nilson|1991}} p. 407. (There is no set of all sets.) Cantor's paradox can actually be derived from the above (false) assumption{{what|date=April 2017}} using for {{math|*P*(

*x*) "

*x*}} is a cardinal number". Frege explicitly axiomatized a theory in which a formalized version of naÃ¯ve set theory can be interpreted, and it is

*this*formal theory which Bertrand Russell actually addressed when he presented his paradox, not necessarily a theory Cantor, who, as mentioned, was aware of several paradoxes, presumably had in mind.

### Axiomatic theories

Axiomatic set theory was developed in response to these early attempts to understand sets, with the goal of determining precisely what operations were allowed and when.### Consistency

A naÃ¯ve set theory is not*necessarily*inconsistent, if it correctly specifies the sets allowed to be considered. This can be done by the means of definitions, which are implicit axioms. It is possible to state all the axioms explicitly, as in the case of Halmos'

*NaÃ¯ve Set Theory*, which is actually an informal presentation of the usual axiomatic Zermeloâ€“Fraenkel set theory. It is "naÃ¯ve" in that the language and notations are those of ordinary informal mathematics, and in that it doesn't deal with consistency or completeness of the axiom system.Likewise, an axiomatic set theory is not necessarily consistent: not necessarily free of paradoxes. It follows from GÃ¶del's incompleteness theorems that a sufficiently complicated first order logic system (which includes most common axiomatic set theories) cannot be proved consistent from within the theory itself – even if it actually is consistent. However, the common axiomatic systems are generally believed to be consistent; by their axioms they do exclude

*some*paradoxes, like Russell's paradox. Based on GÃ¶del's theorem, it is just not known – and never can be – if there are

*no*paradoxes at all in these theories or in any first-order set theory.The term

*naÃ¯ve set theory*is still today also used in some literature{{citation needed|date=December 2012}} to refer to the set theories studied by Frege and Cantor, rather than to the informal counterparts of modern axiomatic set theory.

### Utility

The choice between an axiomatic approach and other approaches is largely a matter of convenience. In everyday mathematics the best choice may be informal use of axiomatic set theory. References to particular axioms typically then occur only when demanded by tradition, e.g. the axiom of choice is often mentioned when used. Likewise, formal proofs occur only when warranted by exceptional circumstances. This informal usage of axiomatic set theory can have (depending on notation) precisely the*appearance*of naÃ¯ve set theory as outlined below. It is considerably easier to read and write (in the formulation of most statements, proofs, and lines of discussion) and is less error-prone than a strictly formal approach.

## Sets, membership and equality

In naÃ¯ve set theory, a**set**is described as a well-defined collection of objects. These objects are called the

**elements**or

**members**of the set. Objects can be anything: numbers, people, other sets, etc. For instance, 4 is a member of the set of all even integers. Clearly, the set of even numbers is infinitely large; there is no requirement that a set be finite.(File:Passage with the set definition of Georg Cantor.png|thumb|Passage with the original set definition of Georg Cantor)The definition of sets goes back to Georg Cantor. He wrote 1915 in his article

*BeitrÃ¤ge zur BegrÃ¼ndung der transfiniten Mengenlehre*:â€œUnter einer 'Menge' verstehen wir jede Zusammenfassung M von bestimmten wohlunterschiedenen Objekten m unserer Anschauung oder unseres Denkens (welche die 'Elemente' von M genannt werden) zu einem Ganzen.â€ â€“ Georg Cantorâ€œA set is a gathering together into a whole of definite, distinct objects of our perception or of our thoughtâ€”which are called elements of the set.â€ â€“ Georg CantorFile:First usage of the symbol âˆˆ.png|thumb|right|First usage of the symbol Ïµ in the work

*Arithmetices principia nova methodo exposita*by Giuseppe PeanoGiuseppe Peano

### Note on consistency

It does*not*follow from this definition

*how*sets can be formed, and what operations on sets again will produce a set. The term "well-defined" in "well-defined collection of objects" cannot, by itself, guarantee the consistency and unambiguity of what exactly constitutes and what does not constitute a set. Attempting to achieve this would be the realm of axiomatic set theory or of axiomatic

**class theory**.The problem, in this context, with informally formulated set theories, not derived from (and implying) any particular axiomatic theory, is that there may be several widely differing formalized versions, that have both different sets and different rules for how new sets may be formed, that all conform to the original informal definition. For example, Cantor's verbatim definition allows for considerable freedom in what constitutes a set. On the other hand, it is unlikely that Cantor was particularly interested in sets containing cats and dogs, but rather only in sets containing purely mathematical objects. An example of such a class of sets could be the von Neumann universe. But even when fixing the class of sets under consideration, it is not always clear which rules for set formation are allowed without introducing paradoxes.For the purpose of fixing the discussion below, the term "well-defined" should instead be interpreted as an

*intention*, with either implicit or explicit rules (axioms or definitions), to rule out inconsistencies. The purpose is to keep the often deep and difficult issues of consistency away from the, usually simpler, context at hand. An explicit ruling out of

*all*conceivable inconsistencies (paradoxes) cannot be achieved for an axiomatic set theory anyway, due to GÃ¶del's second incompleteness theorem, so this does not at all hamper the utility of naÃ¯ve set theory as compared to axiomatic set theory in the simple contexts considered below. It merely simplifies the discussion. Consistency is henceforth taken for granted unless explicitly mentioned.

### Membership

If*x*is a member of a set

*A*, then it is also said that

*x*

**belongs to**

*A*, or that

*x*is in

*A*. This is denoted by

*x*âˆˆ

*A*. The symbol âˆˆ is a derivation from the lowercase Greek letter epsilon, "Îµ", introduced by Giuseppe Peano in 1889 and shall be the first letter of the word á¼ÏƒÏ„Î¯ (means "is"). The symbol âˆ‰ is often used to write

*x*âˆ‰

*A*, meaning "x is not in A".

### Equality

Two sets*A*and

*B*are defined to be

**equal**when they have precisely the same elements, that is, if every element of

*A*is an element of

*B*and every element of

*B*is an element of

*A*. (See axiom of extensionality.) Thus a set is completely determined by its elements; the description is immaterial. For example, the set with elements 2, 3, and 5 is equal to the set of all prime numbers less than 6.If the sets

*A*and

*B*are equal, this is denoted symbolically as

*A*=

*B*(as usual).

### Empty set

The empty set, often denoted Ã˜ and sometimes {}, is a set with no members at all. Because a set is determined completely by its elements, there can be only one empty set. (See axiom of empty set.) Although the empty set has no members, it can be a member of other sets. Thus Ã˜ â‰ {Ã˜}, because the former has no members and the latter has one member. In mathematics, the only sets with which one needs to be concerned can be built up from the empty set alone.({{harvtxt|Halmos|1974}})## Specifying sets

The simplest way to describe a set is to list its elements between curly braces (known as defining a set*extensionally*). Thus {{math|{1, 2}}} denotes the set whose only elements are {{math|1}} and {{math|2}}.(See axiom of pairing.)Note the following points:

- The order of elements is immaterial; for example, {{math|{1, 2} {{=}} {2, 1}}}.
- Repetition (multiplicity) of elements is irrelevant; for example, {{math|{1, 2, 2} {{=}} {1, 1, 1, 2} {{=}} {1, 2}}}.

*dogs*".An extreme (but correct) example of this notation is {{math|{}}}, which denotes the empty set.The notation {{math|{

*x*:

*P*(

*x*)}}}, or sometimes {{math|{

*x*|

*P*(

*x*)}}}, is used to denote the set containing all objects for which the condition {{math|

*P*}} holds (known as defining a set

*intensionally*).For example, {{math|{

*x*:

*x*}} âˆˆ

**R**} denotes the set of real numbers, {{math|{

*x*:

*x*has blonde hair}}} denotes the set of everything with blonde hair.This notation is called set-builder notation (or "

**set comprehension**", particularly in the context of Functional programming).Some variants of set builder notation are:

- {{math|{
*x*âˆˆ*A*:*P*(*x*)}}} denotes the set of all {{math|*x*}} that are already members of {{math|*A*}} such that the condition {{math|*P*}} holds for {{math|*x*}}. For example, if {{math|**Z**}} is the set of integers, then {{math|{*x*âˆˆ**Z**:*x*is even}}} is the set of all even integers. (See axiom of specification.) - {{math|{
*F*(*x*) :*x*âˆˆ*A*}}} denotes the set of all objects obtained by putting members of the set {{math|*A*}} into the formula {{math|*F*}}. For example, {{math|{2*x*:*x*âˆˆ**Z**}}} is again the set of all even integers. (See axiom of replacement.) - {{math|{
*F*(*x*) :*P*(*x*)}}} is the most general form of set builder notation. For example, {{math|{*x*'s owner :*x*is a dog}}} is the set of all dog owners.

## Subsets

Given two sets*A*and

*B*,

*A*is a

**subset**of

*B*if every element of

*A*is also an element of

*B*.In particular, each set

*B*is a subset of itself; a subset of

*B*that is not equal to

*B*is called a

**proper subset**.If

*A*is a subset of

*B*, then one can also say that

*B*is a

**superset**of

*A*, that

*A*is

**contained in**

*B*, or that

*B*

**contains**

*A*. In symbols,

*A*âŠ†

*B*means that

*A*is a subset of

*B*, and

*B*âŠ‡

*A*means that

*B*is a superset of

*A*.Some authors use the symbols âŠ‚ and âŠƒ for subsets, and others use these symbols only for

*proper*subsets. For clarity, one can explicitly use the symbols âŠŠ and âŠ‹ to indicate non-equality.As an illustration, let

**R**be the set of real numbers, let

**Z**be the set of integers, let

*O*be the set of odd integers, and let

*P*be the set of current or former U.S. Presidents.Then

*O*is a subset of

**Z**,

**Z**is a subset of

**R**, and (hence)

*O*is a subset of

**R**, where in all cases

*subset*may even be read as

*proper subset*.Note that not all sets are comparable in this way. For example, it is not the case either that

**R**is a subset of

*P*nor that

*P*is a subset of

**R**.It follows immediately from the definition of equality of sets above that, given two sets

*A*and

*B*,

*A*=

*B*if and only if

*A*âŠ†

*B*and

*B*âŠ†

*A*. In fact this is often given as the definition of equality. Usually when trying to prove that two sets are equal, one aims to show these two inclusions. Note that the empty set is a subset of every set (the statement that all elements of the empty set are also members of any set

*A*is vacuously true).The set of all subsets of a given set

*A*is called the

**power set**of

*A*and is denoted by 2^A or P(A); the "

*P*" is sometimes in a script font. If the set

*A*has

*n*elements, then P(A) will have 2^n elements.

## Universal sets and absolute complements

In certain contexts, one may consider all sets under consideration as being subsets of some given universal set.For instance, when investigating properties of the real numbers**R**(and subsets of

**R**),

**R**may be taken as the universal set. A true universal set is not included in standard set theory (see

**Paradoxes**below), but is included in some non-standard set theories.Given a universal set

**U**and a subset

*A*of

**U**, the

**complement**of

*A*(in

**U**) is defined as

*A*C := {

*x*âˆˆ

**U**:

*x*âˆ‰

*A*}.

*A*C ("

*A-complement*"; sometimes simply

*A*

**, "****A-prime**

*" ) is the set of all members of**U*' which are not members of

*A*.Thus with

**R**,

**Z**and

*O*defined as in the section on subsets, if

**Z**is the universal set, then

*OC*is the set of even integers, while if

**R**is the universal set, then

*OC*is the set of all real numbers that are either even integers or not integers at all.

## Unions, intersections, and relative complements

Given two sets*A*and

*B*, their

**union**is the set consisting of all objects which are elements of

*A*or of

*B*or of both (see axiom of union). It is denoted by

*A*âˆª

*B*.The

**intersection**of

*A*and

*B*is the set of all objects which are both in

*A*and in

*B*. It is denoted by

*A*âˆ©

*B*.Finally, the

**relative complement**of

*B*relative to

*A*, also known as the

**set theoretic difference**of

*A*and

*B*, is the set of all objects that belong to

*A*but

*not*to

*B*. It is written as

*A*

*B*or

*A*âˆ’

*B*.Symbolically, these are respectively

*A*âˆª B := {

*x*: (

*x*âˆˆ

*A*) or (

*x*âˆˆ

*B*)};

*A*âˆ©

*B*:= {

*x*: (

*x*âˆˆ

*A*) and (

*x*âˆˆ

*B*)} = {

*x*âˆˆ

*A*:

*x*âˆˆ

*B*} = {

*x*âˆˆ

*B*:

*x*âˆˆ

*A*};

*A*

*B*:= {

*x*: (

*x*âˆˆ

*A*) and not (

*x*âˆˆ

*B*) } = {

*x*âˆˆ

*A*: not (

*x*âˆˆ

*B*)}.

*A*doesn't have to be a subset of

*B*for

*B*

*A*to make sense; this is the difference between the relative complement and the absolute complement (

*A*C =

*U*

*A*) from the previous section.To illustrate these ideas, let

*A*be the set of left-handed people, and let

*B*be the set of people with blond hair. Then

*A*âˆ©

*B*is the set of all left-handed blond-haired people, while

*A*âˆª

*B*is the set of all people who are left-handed or blond-haired or both.

*A*

*B*, on the other hand, is the set of all people that are left-handed but not blond-haired, while

*B*

*A*is the set of all people who have blond hair but aren't left-handed.Now let

*E*be the set of all human beings, and let

*F*be the set of all living things over 1000 years old. What is

*E*âˆ©

*F*in this case? No living human being is over 1000 years old, so

*E*âˆ©

*F*must be the empty set {}.For any set

*A*, the power set P(A) is a Boolean algebra under the operations of union and intersection.

## Ordered pairs and Cartesian products

Intuitively, an**ordered pair**is simply a collection of two objects such that one can be distinguished as the

*first element*and the other as the

*second element*, and having the fundamental property that, two ordered pairs are equal if and only if their

*first elements*are equal and their

*second elements*are equal.Formally, an ordered pair with

**first coordinate**

*a*, and

**second coordinate**

*b*, usually denoted by (

*a*,

*b*), can be defined as the set {{

*a*}, {

*a*,

*b*}}.It follows that, two ordered pairs (

*a*,

*b*) and (

*c*,

*d*) are equal if and only if

*a*=

*c*and

*b*=

*d*.Alternatively, an ordered pair can be formally thought of as a set {a,b} with a total order.(The notation (

*a*,

*b*) is also used to denote an open interval on the real number line, but the context should make it clear which meaning is intended. Otherwise, the notation ]

*a*,

*b*[ may be used to denote the open interval whereas (

*a*,

*b*) is used for the ordered pair).If

*A*and

*B*are sets, then the

**Cartesian product**(or simply

**product**) is defined to be:

*A*Ã—

*B*= {(

*a*,

*b*) :

*a*is in

*A*and

*b*is in

*B*}.

*A*Ã—

*B*is the set of all ordered pairs whose first coordinate is an element of

*A*and whose second coordinate is an element of

*B*.This definition may be extended to a set

*A*Ã—

*B*Ã—

*C*of ordered triples, and more generally to sets of ordered n-tuples for any positive integer

*n*.It is even possible to define infinite Cartesian products, but this requires a more recondite definition of the product.Cartesian products were first developed by RenÃ© Descartes in the context of analytic geometry. If

**R**denotes the set of all real numbers, then

**R**2 :=

**R**Ã—

**R**represents the Euclidean plane and

**R**3 :=

**R**Ã—

**R**Ã—

**R**represents three-dimensional Euclidean space.

## Some important sets

There are some ubiquitous sets that for which the notation is almost universal. Some of these are listed below. In the list,*a*,

*b*, and

*c*refer natural numbers, and

*r*and

*s*are real numbers.

- Natural numbers are used for counting. A blackboard bold capital
**N**(mathbb{N}) often represents this set. - Integers appear as solutions for
*x*in equations like*x*+*a*=*b*. A blackboard bold capital**Z**(mathbb{Z}) often represents this set (from the German*Zahlen*, meaning*numbers*). - Rational numbers appear as solutions to equations like
*a*+*bx*=*c*. A blackboard bold capital**Q**(mathbb{Q}) often represents this set (for*quotient*, because R is used for the set of real numbers). - Algebraic numbers appear as solutions to polynomial equations (with integer coefficients) and may involve radicals (including i=sqrt{-1,}) and certain other irrational numbers. A
**Q**with an overline (overline{mathbb{Q}}) often represents this set. The overline denotes the operation of algebraic closure. - Real numbers represent the "real line" and include all numbers that can be approximated by rationals. These numbers may be rational or algebraic but may also be transcendental numbers, which cannot appear as solutions to polynomial equations with rational coefficients. A blackboard bold capital
**R**(mathbb{R}) often represents this set. - Complex numbers are sums of a real and an imaginary number: r+s,i. Here either r or s (or both) can be zero; thus, the set of real numbers and the set of strictly imaginary numbers are subsets of the set of complex numbers, which form an algebraic closure for the set of real numbers, meaning that every polynomial with coefficients in mathbb{R} has at least one root in this set. A blackboard bold capital
**C**(mathbb{C}) often represents this set. Note that since a number r+s,i can be identified with a point (r,s) in the plane, mathbb{C} is basically "the same" as the Cartesian product mathbb{R}Ã—mathbb{R} ("the same" meaning that any point in one determines a unique point in the other and for the result of calculations, it doesn't matter which one is used for the calculation, as long as multiplication rule is appropriate for mathbb{C}).

## Paradoxes in early set theory

The unrestricted formation principle of sets referred to as the axiom schema of unrestricted comprehension,*If*{{math|

*P*}}

*is a property, then there exists a set*{{math|

*Y*{{=}} {

*x*:

*P*(

*x*)}}} (

**false**),{{harvnb|Jech|2002}} p. 4.

- {{math|
*Y*{{=}} {*x*:*x*is an ordinal}}} leads 1897 to the Burali-Forti paradox, the first published antinomy. - {{math|
*Y*{{=}} {*x*:*x*is a cardinal}}} produced Cantor's paradox in 1897. - {{math|
*Y*{{=}} {*x*: {} {{=}} {}}}} yielded**Cantor's second antinomy**in the year 1899. Here the property {{math|*P*}} is true for all {{math|*x*}}, whatever {{math|*x*}} may be, so {{math|*Y*}} would be a universal set, containing everything. - {{math|
*Y*{{=}} {*x*:*x*âˆ‰*x*}}}, i.e. the set of all sets that do not contain themselves as elements gave Russell's paradox 1902.

**axiom schema of separation**,

*If*{{math|

*P*}}

*is a property, then for any set*{{math|

*X*}}

*there exists a set*{{math|

*Y*{{=}} {

*x*âˆˆ

*X*:

*P*(

*x*)}}},

*The set of all sets does not exist*.

*Proof*: Suppose that it exists and call it {{math|

*U*}}. Now apply the axiom schema of separation with {{math|

*X*{{=}}

*U*}} and for {{math|

*P*(

*x*)}} use {{math|

*x*âˆ‰

*x*}}. This leads to Russell's paradox again. Hence {{math|

*U*}} can't exist in this theory.Related to the above constructions is formation of the set

- {{math|
*Y*{{=}} {*x*: (*x*âˆˆ*x*) â†’ {} â‰ {}}}}, where the statement following the implication certainly is false. It follows, from the definition of {{math|*Y*}}, using the usual inference rules (and some afterthought when reading the proof in the linked article below) both that {{math|*Y*âˆˆ*Y*â†’ {} â‰ {}}} and {{math|*Y*âˆˆ*Y*}} holds, hence {{math|{} â‰ {}}}. This is Curry's paradox.

*x*âˆˆ

*x*}} that is problematic. It is again the axiom schema of unrestricted comprehension allowing {{math|(

*x*âˆˆ

*x*) â†’ {} â‰ {}}} for {{math|

*P*(

*x*)}}. With the axiom schema of specification instead of unrestricted comprehension, the conclusion {{math|

*Y*âˆˆ

*Y*}} doesn't hold and, hence {{math|{} â‰ {}}} is not a logical consequence.Nonetheless, the possibility of {{math|

*x*âˆˆ

*x*}} is often removed explicitly{{citation|last=Halmos|year=1974|title=NaÃ¯ve Set Theory}} See discussion around Russell's paradox. or, e.g. in ZFC, implicitly,{{harvnb|Jech|2002}} Section 1.6. by demanding the axiom of regularity to hold. One consequence of it is

*There is no set*{{math|

*X*}}

*for which*{{math|

*X*âˆˆ

*X*}},

**every set of reals is Lebesgue measurable**. The former implies the latter is false.

## See also

- Algebra of sets
- Axiomatic set theory
- Internal set theory
- Set theory
- Set (mathematics)
- Partially ordered set

## Notes

{{Refimprove|date=July 2011}}{{reflist}}## References

- Bourbaki, N.,
*Elements of the History of Mathematics*, John Meldrum (trans.), Springer-Verlag, Berlin, Germany, 1994. - {{citation|first=Georg|last=Cantor|author-link=Georg Cantor|title=Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen|journal=J. Reine Angew. Math.|volume=77|year=1874|pages=258â€“262|url=http://www.digizeitschriften.de/main/dms/img/?PPN=GDZPPN002155583|postscript=, See also pdf version: |doi=10.1515/crll.1874.77.258}}
- Devlin, K.J.,
*The Joy of Sets: Fundamentals of Contemporary Set Theory*, 2nd edition, Springer-Verlag, New York, NY, 1993. - MarÃa J. FrÃ¡polli|FrÃ¡polli, MarÃa J., 1991, "Is Cantorian set theory an iterative conception of set?".
*Modern Logic*, v. 1 n. 4, 1991, 302â€“318. - {{citation|first=Gottlob|last=Frege|authorlink=Gotlob Frege|title=Grundgesetze der Arithmetik|volume=1|year=1893|location=Jena 1893.}}
- Halmos, Paul,
*NaÃ¯ve Set Theory*. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. {{isbn|0-387-90092-6}} (Springer-Verlag edition). Reprinted by Martino Fine Books, 2011. {{isbn|978-1-61427-131-4}} (Paperback edition). - BOOK, Jech, Thomas, Set theory, third millennium edition (revised and expanded), Springer, 2002, 3-540-44085-2, Thomas Jech, harv,
- Kelley, J.L.,
*General Topology*, Van Nostrand Reinhold, New York, NY, 1955. - van Heijenoort, J.,
*From Frege to GÃ¶del, A Source Book in Mathematical Logic, 1879-1931*, Harvard University Press, Cambridge, MA, 1967. Reprinted with corrections, 1977. {{isbn|0-674-32449-8}}. - {{citation|last=Meschkowski|first=Herbert|authorlink=:de:Herbert Meschkowski|title=Georg Cantor: Briefe. Edited by the authors.|year=1991|first2=Winfried|last2=Nilson|publisher=Springer|location=Berlin|isbn=3-540-50621-7}}
- {{citation|first=Giuseppe|last=Peano|authorlink=Giuseppe Peano|title=Arithmetices Principies nova Methoda exposita|year=1889|location=Turin 1889.}}
- {{citation|last=Zermelo|authorlink=Ernst Zermelo|first=Ernst|title=Georg Cantor: Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. Mit erlÃ¤uternden Anmerkungen sowie mit ErgÃ¤nzungen aus dem Briefwechsel Cantor-Dedekind. Edited by the author.|publisher=Springer|location=Berlin|year=1932}}

## External links

- Beginnings of set theory page at St. Andrews
- Earliest Known Uses of Some of the Words of Mathematics (S)

**- content above as imported from Wikipedia**

- "

- time: 9:15am EDT - Mon, Oct 22 2018

- "

__naive set theory__" does not exist on GetWiki (yet)- time: 9:15am EDT - Mon, Oct 22 2018

[ this remote article is provided by Wikipedia ]

LATEST EDITS [ see all ]

GETWIKI 09 MAY 2016

GETWIKI 18 OCT 2015

GETWIKI 20 AUG 2014

GETWIKI 19 AUG 2014

GETWIKI 18 AUG 2014

© 2018 M.R.M. PARROTT | ALL RIGHTS RESERVED