4085:
4049:
8671:
8365:
3597:
42:
6017:
5941:
8683:
4044:{\displaystyle {\begin{aligned}\left|A_{1}\cup A_{2}\cup A_{3}\cup \ldots \cup A_{n}\right|=&\left(\left|A_{1}\right|+\left|A_{2}\right|+\left|A_{3}\right|+\ldots \left|A_{n}\right|\right)\\&{}-\left(\left|A_{1}\cap A_{2}\right|+\left|A_{1}\cap A_{3}\right|+\ldots \left|A_{n-1}\cap A_{n}\right|\right)\\&{}+\ldots \\&{}+\left(-1\right)^{n-1}\left(\left|A_{1}\cap A_{2}\cap A_{3}\cap \ldots \cap A_{n}\right|\right).\end{aligned}}}
31:
988:
1087:
3491:
2798:
2776:
2745:
2710:
2572:
4142:, or some equivalent name, it is common, especially where the number of terms involved is finite, to regard the object in question (which is in fact a class) as defined by the enumeration of its terms, and as consisting possibly of a single term, which in that case
1665:
237:
is a set with an endless list of elements. To describe an infinite set in roster notation, an ellipsis is placed at the end of the list, or at both ends, to indicate that the list continues forever. For example, the set of
381:
3070:
3498:
The inclusion–exclusion principle is a technique for counting the elements in a union of two finite sets in terms of the sizes of the two sets and their intersection. It can be expressed symbolically as
1530:
2705:
to distinguish it from the relative complement below. Example: If the universal set is taken to be the set of integers, then the complement of the set of even integers is the set of odd integers.
3602:
2699:
3590:
1382:
1218:
There are sets of such mathematical importance, to which mathematicians refer so frequently, that they have acquired special names and notational conventions to identify them.
1935:
2256:
2234:
2200:
2163:
1857:
1835:
1757:
1735:
1576:
1554:
1432:
1410:
1314:
1292:
1267:
1241:
1213:
1188:
1163:
1138:
1113:
1793:
653:
71:
of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other sets. A set may have a finite number of elements or be an
3494:
The inclusion-exclusion principle for two finite sets states that the size of their union is the sum of the sizes of the sets minus the size of their intersection.
188:
in 1908. In a set, all that matters is whether each element is in it or not, so the ordering of the elements in roster notation is irrelevant (in contrast, in a
1593:
4754:
Sets: Naïve, Axiomatic and
Applied: A Basic Compendium with Exercises for Use in Set Theory for Non Logicians, Working and Teaching Mathematicians and Students
325:
5442:
4289:
In subsequent efforts to resolve these paradoxes since the time of the original formulation of naïve set theory, the properties of sets have been defined by
6744:
1054:
sets (possibly all or none), there is a zone for the elements that belong to all the selected sets and none of the others. For example, if the sets are
5415:
2463:
is uncountable. Moreover, the power set is always strictly "bigger" than the original set, in the sense that any attempt to pair up the elements of
7419:
6481:
1015:
is a graphical representation of a collection of sets; each set is depicted as a planar region enclosed by a loop, with its elements inside. If
4115:
A set is a gathering together into a whole of definite, distinct objects of our perception or our thought—which are called elements of the set.
8401:
7502:
6643:
2300:
The continuum hypothesis, formulated by Georg Cantor in 1878, is the statement that there is no set with cardinality strictly between the
8638:
3011:
2176:
Some infinite cardinalities are greater than others. Arguably one of the most significant results from set theory is that the set of
316:
Set-builder notation specifies a set as a selection from a larger set, determined by a condition on the elements. For example, a set
4212:
can be distinguished by the number of occurrences of an element; e.g. and represent different multisets, while and are equal.
3502:
7816:
4228:
7974:
5785:
5717:
5690:
5663:
5636:
5593:
5566:
5393:
5366:
5339:
5312:
5285:
5258:
5231:
5174:
5147:
5071:
5001:
4952:
4900:
4864:
4816:
4789:
4762:
4735:
4695:
4668:
4641:
4614:
4558:
4474:
4447:
4420:
4313:
however, it is not possible to use first-order logic to prove any such particular axiomatic set theory is free from paradox.
211:
For sets with many elements, especially those following an implicit pattern, the list of members can be abbreviated using an
6762:
4310:
1441:
7829:
7152:
6170:
5983:
1908:
Sets of positive or negative numbers are sometimes denoted by superscript plus and minus signs, respectively. For example,
5110:
7834:
7824:
7561:
7414:
6767:
6498:
2647:
8565:
6758:
5602:
5532:
5516:
2169:
is infinite. In fact, all the special sets of numbers mentioned in the section above are infinite. Infinite sets have
86:
Sets are uniquely characterized by their elements; this means that two sets that have precisely the same elements are
8479:
7970:
5923:
5900:
5877:
5851:
4531:
4483:
3485:
2309:
1905:
Each of the above sets of numbers has an infinite number of elements. Each is a subset of the sets listed below it.
7312:
5410:
5183:
5034:
4961:
4825:
4301:. The purpose of the axioms is to provide a basic framework from which to deduce the truth or falsity of particular
8394:
8067:
7811:
6636:
16:
This article is about what mathematicians call "intuitive" or "naive" set theory. For a more detailed account, see
2236:); some authors use "countable" to mean "countably infinite". Sets with cardinality strictly greater than that of
2028:(or a one-to-one correspondence) if the function is both injective and surjective — in this case, each element of
1323:
8517:
7372:
7065:
6476:
6070:
2313:
102:
6806:
6356:
5953:
8648:
8328:
8030:
7793:
7788:
7613:
7034:
6718:
3264:
are finite. When one or both are infinite, multiplication of cardinal numbers is defined to make this true.)
8708:
8323:
8106:
8023:
7736:
7667:
7544:
6786:
6250:
6129:
5802:
5760:
4388:
By an 'aggregate' (Menge) we are to understand any collection into a whole (Zusammenfassung zu einem Ganzen)
2180:
has greater cardinality than the set of natural numbers. Sets with cardinality less than or equal to that of
8248:
8074:
7760:
7394:
6993:
6493:
3271:
with symmetric difference as the addition of the ring and intersection as the multiplication of the ring.
8643:
8469:
8387:
8126:
8121:
7731:
7470:
7399:
6728:
6629:
6486:
6124:
6087:
701:
mean different things; Halmos draws the analogy that a box containing a hat is not the same as the hat.
219:'. For instance, the set of the first thousand positive integers may be specified in roster notation as
8703:
8661:
8575:
8411:
8055:
7645:
7039:
7007:
6698:
5915:
106:
5734:
1911:
430:
to determine membership. Semantic definitions and definitions using set-builder notation are examples.
8542:
8345:
8294:
8191:
7689:
7650:
7127:
6772:
6175:
6060:
6048:
6043:
4498:
4302:
4077:
4067:
The concept of a set emerged in mathematics at the end of the 19th century. The German word for set,
2855:
1806:
6801:
5612:
5542:
5526:
8186:
8116:
7655:
7507:
7490:
7213:
6693:
5976:
5843:
5196:
5120:
5047:
4974:
4835:
4084:
2239:
2217:
2183:
2146:
1840:
1818:
1740:
1718:
1559:
1537:
1415:
1393:
1297:
1275:
1250:
1224:
1196:
1171:
1146:
1121:
1096:
8522:
8018:
7995:
7956:
7842:
7783:
7429:
7349:
7193:
7137:
6750:
6595:
6513:
6388:
6340:
6154:
6077:
2941:
2612:
2280:
1774:
672:
91:
80:
4462:
638:
8623:
8608:
8527:
8432:
8308:
8035:
8013:
7980:
7873:
7719:
7704:
7677:
7628:
7512:
7447:
7272:
7238:
7233:
7107:
6938:
6915:
6547:
6428:
6240:
6053:
4464:
4328:
4166:
3594:
A more general form of the principle gives the cardinality of any finite union of finite sets:
3459:
3307:
2593:
2210:
1974:
1947:
1796:
768:
445:
435:
422:
87:
5707:
5680:
5556:
5383:
5329:
5221:
4890:
4854:
4631:
4523:
4195:
877:
A third pair of operators ⊂ and ⊃ are used differently by different authors: some authors use
8585:
8560:
8379:
8238:
8091:
7883:
7601:
7337:
7243:
7102:
7087:
6968:
6943:
6463:
6433:
6377:
6297:
6277:
6255:
5653:
5436:
5137:
5061:
4806:
4725:
4685:
4658:
4604:
4358:
4107:, one of the founders of set theory, gave the following definition at the beginning of his
3300:
2126:
More formally, two sets share the same cardinality if there exists a bijection between them.
472:
59:
8507:
5302:
5275:
5164:
4991:
4779:
4752:
4548:
4437:
4410:
212:
8580:
8537:
8211:
8173:
8050:
7854:
7694:
7618:
7596:
7424:
7382:
7281:
7248:
7112:
6900:
6811:
6537:
6527:
6361:
6292:
6245:
6185:
6065:
5469:
4294:
4235:
4127:
4088:
Passage with a translation of the original set definition of Georg Cantor. The German word
3432:, because the set of all squares is subset of the set of all real numbers. Since for every
3311:
2988:
2295:
454:
311:
1660:{\displaystyle \mathbf {Q} =\left\{{\frac {a}{b}}\mid a,b\in \mathbf {Z} ,b\neq 0\right\}}
8:
8713:
8590:
8340:
8231:
8216:
8196:
8153:
8040:
7990:
7916:
7861:
7798:
7591:
7586:
7534:
7302:
7291:
6963:
6863:
6791:
6782:
6778:
6713:
6708:
6532:
6443:
6351:
6346:
6160:
6102:
6033:
5969:
4579:
4261:
4123:
3346:
3292:
3288:
3280:
3191:
2276:
402:
239:
68:
5473:
8675:
8512:
8459:
8419:
8369:
8138:
8101:
8086:
8079:
8062:
7866:
7848:
7714:
7640:
7623:
7576:
7389:
7298:
7132:
7117:
7077:
7029:
7014:
7002:
6958:
6933:
6703:
6652:
6455:
6450:
6235:
6190:
6097:
5892:
5836:
5487:
4516:
4338:
3296:
2831:
2550:
2527:
2521:
7322:
5500:
5457:
4126:(a set is a class, but some classes, such as the class of all sets, are not sets; see
8687:
8670:
8452:
8364:
8304:
8111:
7921:
7911:
7803:
7684:
7519:
7495:
7276:
7260:
7142:
7019:
6988:
6953:
6848:
6683:
6149:
6112:
6082:
5919:
5896:
5873:
5847:
5781:
5713:
5686:
5659:
5632:
5589:
5562:
5505:
5389:
5362:
5335:
5308:
5281:
5254:
5227:
5170:
5143:
5067:
4997:
4948:
4896:
4860:
4812:
4785:
4758:
4731:
4691:
4664:
4637:
4610:
4554:
4527:
4470:
4443:
4416:
4306:
3076:
2546:
1953:
1764:
1587:
4714:", p.278. Bulletin of Symbolic Logic vol. 9, no. 3, (2003). Accessed 21 August 2023.
1221:
Many of these important sets are represented in mathematical texts using bold (e.g.
8618:
8502:
8442:
8318:
8313:
8206:
8163:
7985:
7946:
7941:
7926:
7752:
7709:
7606:
7404:
7354:
6928:
6890:
6600:
6590:
6575:
6570:
6438:
6092:
5866:
5755:
5495:
5477:
5424:
4333:
4298:
4277:
collection of distinct elements, but problems arise from the vagueness of the term
4268:
4156:
4119:
3284:
1768:
1141:
17:
8600:
8299:
8289:
8243:
8226:
8181:
8143:
8045:
7965:
7772:
7699:
7672:
7660:
7566:
7480:
7454:
7409:
7377:
7178:
6980:
6923:
6873:
6838:
6796:
6469:
6407:
6225:
6038:
5775:
5626:
5583:
5356:
5248:
4942:
4323:
4072:
2566:
2317:
2283:
2260:
1583:
1579:
1244:
1191:
1091:
273:
Another way to define a set is to use a rule to determine what the elements are:
118:
5777:
Labyrinth of
Thought: A History of Set Theory and Its Role in Modern Mathematics
5628:
Labyrinth of
Thought: A History of Set Theory and Its Role in Modern Mathematics
8628:
8570:
8447:
8284:
8263:
8221:
8201:
8096:
7951:
7549:
7539:
7529:
7524:
7458:
7332:
7208:
7097:
7092:
7070:
6671:
6605:
6402:
6383:
6287:
6272:
6229:
6165:
6107:
5462:
Proceedings of the
National Academy of Sciences of the United States of America
5102:
Sourendra Nath, De (January 2015). "Unit-1 Sets and
Functions: 1. Set Theory".
5017:
4463:
Thomas H. Cormen; Charles E Leiserson; Ronald L Rivest; Clifford Stein (2001).
4343:
2902:
2166:
1860:
1317:
292:
5682:
From Kant to
Hilbert Volume 1: A Source Book in the Foundations of Mathematics
2549:(meaning any two sets of the partition contain no element in common), and the
45:
This set equals the one depicted above since both have the very same elements.
41:
8697:
8437:
8258:
7936:
7443:
7228:
7218:
7188:
7173:
6843:
6610:
6412:
6326:
6321:
5831:
5428:
4227:
The simple concept of a set has proved enormously useful in mathematics, but
3089:
2271:(i.e., the number of points on a line) is the same as the cardinality of any
2268:
2204:
1012:
956:
The empty set is a subset of every set, and every set is a subset of itself:
185:
161:
35:
6580:
4629:
8464:
8427:
8158:
8005:
7906:
7898:
7778:
7726:
7635:
7571:
7554:
7485:
7344:
7203:
6905:
6688:
6560:
6555:
6373:
6302:
6260:
6119:
6016:
5509:
5482:
5091:. Vol. 1. Arya Publications (Avichal Publishing Company). p. A=3.
4273:
4104:
3306:
One of the main applications of naive set theory is in the construction of
3268:
2301:
2272:
2139:
1166:
1035:
386:
234:
72:
109:
for all branches of mathematics since the first half of the 20th century.
8633:
8552:
8532:
8474:
8268:
8148:
7327:
7317:
7264:
6948:
6868:
6853:
6733:
6678:
6585:
6220:
5861:
4917:
4161:
The foremost property of a set is that it can have elements, also called
2599:(a set containing all elements being discussed) has been fixed, and that
2449:
2177:
2073:
1760:
376:{\displaystyle F=\{n\mid n{\text{ is an integer, and }}0\leq n\leq 19\}.}
197:
122:
50:
5945:
5940:
8489:
7198:
7053:
7024:
6830:
6565:
6336:
5992:
4711:
4062:
2305:
2011:
1031:. If two sets have no elements in common, the regions do not overlap.
413:
401:
is an integer in the range from 0 to 19 inclusive". Some authors use a
98:
21:
5166:
Mathematical and
Computer Programming Techniques for Computer Graphics
4777:
4656:
8350:
8253:
7306:
7223:
7183:
7147:
7083:
6895:
6885:
6858:
6621:
6368:
6331:
6282:
6180:
5491:
4353:
4348:
2492:
2445:
2347:
2329:
2025:
1993:
618:
76:
4231:
arise if no restrictions are placed on how sets can be constructed:
4134:
When mathematicians deal with what they call a manifold, aggregate,
2320:. (ZFC is the most widely-studied version of axiomatic set theory.)
8335:
8133:
7581:
7286:
6880:
4209:
3320:
3190:
The operations above satisfy many identities. For example, one of
1116:
940:
The set of all humans is a proper subset of the set of all mammals.
681:
is a set with exactly one element; such a set may also be called a
189:
30:
4750:
4384:
Contributions to the founding of the theory of transfinite numbers
987:
389:"|" means "such that", and the description can be interpreted as "
7931:
6723:
4856:
Hegel's Rabble: An
Investigation into Hegel's Philosophy of Right
4408:
1435:
281:
254:
5678:
5554:
4723:
462:
of elements; a roster involving an ellipsis would be an example.
94:. In particular, this implies that there is only one empty set.
6393:
6215:
5954:
Cantor's "Beiträge zur Begründung der transfiniten
Mengenlehre"
4290:
3065:{\displaystyle A\,\Delta \,B=(A\setminus B)\cup (B\setminus A)}
1086:
710:
8409:
5277:
Formal Models of
Computation: The Ultimate Limits of Computing
4657:
Ignacio Bello; Anton Kaul; Jack R. Britton (29 January 2013).
4630:
David Johnson; David B. Johnson; Thomas A. Mowry (June 2004).
8613:
7475:
6821:
6666:
6265:
6025:
5961:
5558:
The Heart of Mathematics: An invitation to effective thinking
5059:
4778:
Alfred Basta; Stephan DeLong; Nadine Basta (1 January 2013).
4633:
Finite Mathematics: Practical Applications (Docutech Version)
4213:
2545:
is in exactly one of these subsets. That is, the subsets are
193:
57:
is a collection of different things; these things are called
5838:
Georg Cantor: His Mathematics and Philosophy of the Infinite
5358:
The Real Numbers: An Introduction to Set Theory and Analysis
3490:
905:(and not necessarily a proper subset), while others reserve
4989:
4546:
2797:
2775:
2744:
2709:
2571:
200:
of a set, the ordering of the terms matters). For example,
5735:"Beiträge zur Begründung der transfiniten Mengenlehre (1)"
4386:. New York Dover Publications (1954 English translation).
4382:
Cantor, Georg; Jourdain, Philip E.B. (Translator) (1915).
3462:. In functional notation, this relation can be written as
2115:. Repeated members in roster notation are not counted, so
1066:, there should be a zone for the elements that are inside
2132:
1996:(or one-to-one) if it maps any two different elements of
1081:
20:. For a rigorous modern axiomatic treatment of sets, see
5705:
3279:
Sets are ubiquitous in modern mathematics. For example,
4169:
when they have the same elements. More precisely, sets
3479:
1800:
631:) is the unique set that has no members. It is denoted
5561:. Springer Science & Business Media. p. 183.
5388:. Springer Science & Business Media. p. 211.
5307:. The Mathematical Association of America. p. 7.
5246:
5223:
Lectures in Logic and Set Theory: Volume 2, Set Theory
4804:
4724:
Stephen B. Maurer; Anthony Ralston (21 January 2005).
1525:{\displaystyle \mathbf {Z} =\{...,-2,-1,0,1,2,3,...\}}
1050:
zones such that for each way of selecting some of the
416:
uses specific terms to classify types of definitions:
8659:
5555:
Edward B. Burger; Michael Starbird (18 August 2004).
5188:
5186:
5039:
5037:
4966:
4964:
4751:
D. Van Dalen; H. C. Doets; H. De Swart (9 May 2014).
3600:
3505:
3014:
2650:
2374:{∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}
2242:
2220:
2186:
2149:
1914:
1843:
1821:
1777:
1743:
1721:
1596:
1562:
1540:
1444:
1418:
1396:
1326:
1300:
1278:
1253:
1227:
1199:
1174:
1149:
1124:
1099:
641:
328:
280:
be the set whose members are the first four positive
75:. There is a unique set with no elements, called the
5273:
5169:. Springer Science & Business Media. p. 7.
4996:. Springer Science & Business Media. p. 2.
4490:
4488:
4486:
4109:
Beiträge zur Begründung der transfiniten Mengenlehre
408:
145:, especially when its elements are themselves sets.
5699:
4985:
4983:
3366:= {(scissors,paper), (paper,rock), (rock,scissors)}
2267:However, it can be shown that the cardinality of a
228:
97:Sets are ubiquitous in modern mathematics. Indeed,
5865:
5835:
5801:Raatikainen, Panu (2022). Zalta, Edward N. (ed.).
5548:
4940:
4712:The Empty Set, the Singleton, and the Ordered Pair
4623:
4540:
4515:
4043:
3584:
3064:
2867:is the set of all things that are members of both
2693:
2250:
2228:
2194:
2157:
1965:is a rule that assigns to each "input" element of
1929:
1851:
1829:
1795:that cannot be rewritten as fractions, as well as
1787:
1751:
1729:
1659:
1570:
1548:
1524:
1426:
1404:
1376:
1308:
1286:
1261:
1235:
1207:
1182:
1157:
1132:
1107:
647:
375:
5441:: CS1 maint: DOI inactive as of September 2024 (
4798:
4717:
4606:Introduction to Mathematical Proofs: A Transition
4216:can even be distinguished by element order; e.g.
2694:{\displaystyle A^{\text{c}}=\{a\in U:a\notin A\}}
2304:and the cardinality of a straight line. In 1963,
2137:The list of elements of some sets is endless, or
1973:; more formally, a function is a special kind of
1937:represents the set of positive rational numbers.
779:. Two sets are equal if they contain each other:
90:(they are the same set). This property is called
8695:
5300:
5219:
5215:
5213:
5211:
5209:
5207:
5205:
5131:
5129:
4980:
1038:, in contrast, is a graphical representation of
105:, has been the standard way to provide rigorous
5809:. Metaphysics Research Lab, Stanford University
5416:Journal für die Reine und Angewandte Mathematik
5240:
5135:
5060:K.T. Leung; Doris Lai-chue Chen (1 July 1992).
4771:
4602:
4456:
4435:
4122:introduced the distinction between a set and a
5773:
5672:
5624:
5581:
5458:"The Independence of the Continuum Hypothesis"
5354:
5162:
5101:
4744:
4683:
4547:Seymor Lipschutz; Marc Lipson (22 June 1997).
4409:P. K. Jain; Khalil Ahmad; Om P. Ahuja (1995).
4381:
4264:shows that "the set of all sets" cannot exist.
160:defines a set by listing its elements between
8395:
6637:
5977:
5767:
5618:
5348:
5327:
5202:
5126:
5053:
4934:
4888:
4805:Laura Bracken; Ed Miller (15 February 2013).
4650:
2843:is the set of all things that are members of
1027:is completely inside the region representing
5732:
5706:Paul Rusnock; Jan Sebestík (25 April 2019).
5294:
5156:
4884:
4882:
4880:
4878:
4876:
4402:
3585:{\displaystyle |A\cup B|=|A|+|B|-|A\cap B|.}
3349:of the same name, the relation "beats" from
3216:(that is, the elements outside the union of
2688:
2664:
1519:
1453:
1377:{\displaystyle \mathbf {N} =\{0,1,2,3,...\}}
1371:
1335:
367:
335:
5800:
5726:
5679:William Ewald; William Bragg Ewald (1996).
5575:
5226:. Cambridge University Press. p. 137.
4848:
4846:
4844:
4429:
2289:
117:Mathematical texts commonly denote sets by
8402:
8388:
6829:
6644:
6630:
5984:
5970:
5651:
5402:
5381:
5066:. Hong Kong University Press. p. 27.
4852:
4596:
2924:) is the set of all things that belong to
2431:has three elements, and its power set has
2129:The cardinality of the empty set is zero.
982:
112:
5780:. Springer Science & Business Media.
5655:The Mathematical Works of Bernard Bolzano
5499:
5481:
5449:
5361:. Springer Science & Business Media.
5321:
5267:
5253:. Springer Science & Business Media.
5142:. American Mathematical Soc. p. 30.
4895:. Rowman & Littlefield. p. 108.
4873:
3022:
3018:
2701:. The complement may also be called the
2244:
2222:
2188:
2151:
2044:, so that there are no unpaired elements.
1845:
1763:, including all rational numbers and all
1745:
1564:
1420:
1302:
1255:
1201:
1176:
1151:
1126:
1101:
5909:
5645:
5411:"Ein Beitrag zur Mannigfaltigkeitslehre"
5375:
5304:The Lebesgue Integral for Undergraduates
5086:
4841:
4550:Schaum's Outline of Discrete Mathematics
4377:
4375:
4083:
3489:
3000:is the set of all things that belong to
2796:
2774:
2743:
2708:
2570:
2356:itself are elements of the power set of
2308:proved that the continuum hypothesis is
1085:
986:
771:between sets established by ⊆ is called
40:
29:
4677:
4553:. McGraw Hill Professional. p. 1.
4509:
4507:
4284:
3248:is the product of the cardinalities of
2553:of all the subsets of the partition is
2056:, and a bijective function is called a
305:
8696:
6651:
5912:How To Prove It: A Structured Approach
5860:
5830:
5608:
5538:
5522:
5408:
5301:William Johnston (25 September 2015).
5192:
5116:
5089:Understanding ISC Mathematics Class XI
5043:
4990:Marek Capinski; Peter E. Kopp (2004).
4970:
4859:. Bloomsbury Publishing. p. 151.
4831:
4781:Mathematics for Information Technology
4687:Discrete Mathematics with Applications
4522:. W. H. Freeman and Company. pp.
4494:
3422:is real. This relation is a subset of
3128:{1, 2, 3} ∪ {3, 4, 5} = {1, 2, 3, 4, 5
2312:of the axiom system ZFC consisting of
2133:Infinite sets and infinite cardinality
1438:(whether positive, negative or zero):
1082:Special sets of numbers in mathematics
1078:(even if such elements do not exist).
544:For example, with respect to the sets
458:is one that describes a set by giving
268:
8383:
6625:
6141:
5965:
5886:
5455:
5220:George Tourlakis (13 February 2003).
4915:
4513:
4372:
4238:shows that the "set of all sets that
4208:represent the same set. Unlike sets,
3328:is a subset of the Cartesian product
5456:Cohen, Paul J. (December 15, 1963).
5106:. Scholar Books Pvt. Ltd. p. 5.
4892:Introduction to Abstract Mathematics
4574:
4572:
4570:
4504:
4415:. New Age International. p. 1.
3480:Principle of inclusion and exclusion
2362:, because these are both subsets of
2052:, a surjective function is called a
5807:Stanford Encyclopedia of Philosophy
4150:
3338:. For example, considering the set
3267:The power set of any set becomes a
3256:. (This is an elementary fact when
3146:{1, 2, 3} Δ {3, 4, 5} = {1, 2, 4, 5
2560:
2048:An injective function is called an
2040:is paired with a unique element of
2032:is paired with a unique element of
2018:, there is at least one element of
1977:, one that relates each element of
443:. Such definitions are also called
79:; a set with a single element is a
13:
5774:Jose Ferreiros (1 November 2001).
5709:Bernard Bolzano: His Life and Work
5355:John Stillwell (16 October 2013).
5331:Mathematics: Its Power and Utility
5087:Aggarwal, M.L. (2021). "1. Sets".
4660:Topics in Contemporary Mathematics
4518:Sets, Logic and Axiomatic Theories
4442:. Courier Corporation. p. 2.
4436:Samuel Goldberg (1 January 1986).
3224:are the elements that are outside
3019:
2302:cardinality of the natural numbers
2208:; these are either finite sets or
2014:(or onto) if for every element of
1969:an "output" that is an element of
755:. The latter notation may be read
685:. Any such set can be written as {
642:
489:, this is written in shorthand as
262:{..., −3, −2, −1, 0, 1, 2, 3, ...}
148:
27:Collection of mathematical objects
14:
8725:
8480:List of mathematical logic topics
5933:
5872:. Princeton, N.J.: Van Nostrand.
5803:"Gödel's Incompleteness Theorems"
5625:José Ferreirós (16 August 2007).
5334:. Cengage Learning. p. 401.
4993:Measure, Integral and Probability
4567:
4392:of definite and separate objects
3053:
3035:
2214:(sets of the same cardinality as
666:
409:Classifying methods of definition
405:":" instead of the vertical bar.
8681:
8669:
8363:
6015:
5939:
5328:Karl J. Smith (7 January 2008).
5063:Elementary Set Theory, Part I/II
4811:. Cengage Learning. p. 36.
4727:Discrete Algorithmic Mathematics
4690:. Cengage Learning. p. 13.
4684:Susanna S. Epp (4 August 2010).
4663:. Cengage Learning. p. 47.
4603:Charles Roberts (24 June 2009).
4396:of our intuition or our thought.
4297:takes the concept of a set as a
2533:is a set of nonempty subsets of
2368:. For example, the power set of
1930:{\displaystyle \mathbf {Q} ^{+}}
1917:
1823:
1723:
1636:
1598:
1542:
1446:
1398:
1328:
1280:
1229:
612:
229:Infinite sets in roster notation
184:This notation was introduced by
5794:
5749:
5585:Combinatorics of Set Partitions
5582:Toufik Mansour (27 July 2012).
5280:. World Scientific. p. 3.
5247:Yiannis N. Moschovakis (1994).
5163:Peter Comninos (6 April 2010).
5095:
5080:
5010:
4909:
4784:. Cengage Learning. p. 3.
4757:. Elsevier Science. p. 1.
4704:
4311:Gödel's incompleteness theorems
4305:(statements) about sets, using
3274:
2619:is the set of all elements (of
2119:{blue, white, red, blue, white}
1023:, then the region representing
8649:List of category theory topics
5991:
5652:Steve Russ (9 December 2004).
5385:Advanced Mathematical Thinking
4636:. W. H. Freeman. p. 220.
4193:; this property is called the
4177:are equal if every element of
3575:
3561:
3553:
3545:
3537:
3529:
3521:
3507:
3303:under one or more operations.
3059:
3047:
3041:
3029:
2958:as the absolute complement of
2094:, is the number of members of
2067:
349: is an integer, and
298:Such a definition is called a
1:
8324:History of mathematical logic
5944:The dictionary definition of
5824:
5761:The Principles of Mathematics
5274:Arthur Charles Fleck (2001).
5104:Chhaya Ganit (Ekadash Shreni)
4853:Frank Ruda (6 October 2011).
3486:Inclusion–exclusion principle
3398:. Another example is the set
3140:{1, 2, 3} − {3, 4, 5} = {1, 2
2515:
2340:is the set of all subsets of
2323:
1190:, which are contained in the
1165:, which are contained in the
1140:, which are contained in the
533:, which can also be read as "
499:, which can also be read as "
466:
137:. A set may also be called a
67:of the set and are typically
8249:Primitive recursive function
5382:David Tall (11 April 2006).
4439:Probability: An Introduction
4224:represent different tuples.
2644:. In set-builder notation,
2491:unpaired. (There is never a
2480:will leave some elements of
2275:of that line, of the entire
2251:{\displaystyle \mathbb {N} }
2229:{\displaystyle \mathbb {N} }
2195:{\displaystyle \mathbb {N} }
2158:{\displaystyle \mathbb {N} }
1940:
1852:{\displaystyle \mathbb {C} }
1830:{\displaystyle \mathbf {C} }
1752:{\displaystyle \mathbb {R} }
1730:{\displaystyle \mathbf {R} }
1571:{\displaystyle \mathbb {Q} }
1549:{\displaystyle \mathbf {Q} }
1427:{\displaystyle \mathbb {Z} }
1405:{\displaystyle \mathbf {Z} }
1309:{\displaystyle \mathbb {N} }
1287:{\displaystyle \mathbf {N} }
1262:{\displaystyle \mathbb {Z} }
1236:{\displaystyle \mathbf {Z} }
1208:{\displaystyle \mathbb {C} }
1183:{\displaystyle \mathbb {R} }
1158:{\displaystyle \mathbb {Q} }
1133:{\displaystyle \mathbb {Z} }
1108:{\displaystyle \mathbb {N} }
1046:loops divide the plane into
291:be the set of colors of the
7:
8644:Glossary of category theory
8518:Zermelo–Fraenkel set theory
8470:Mathematical constructivism
5712:. OUP Oxford. p. 430.
5685:. OUP Oxford. p. 249.
4947:. West Publishing Company.
4941:Ralph C. Steinlage (1987).
4469:. MIT Press. p. 1070.
4316:
2314:Zermelo–Fraenkel set theory
1788:{\displaystyle {\sqrt {2}}}
950:{1, 2, 3, 4} ⊆ {1, 2, 3, 4}
860:B is a proper superset of A
320:can be defined as follows:
103:Zermelo–Fraenkel set theory
10:
8730:
8639:Mathematical structuralism
8576:Intuitionistic type theory
8412:Foundations of Mathematics
7313:Schröder–Bernstein theorem
7040:Monadic predicate calculus
6699:Foundations of mathematics
6482:von Neumann–Bernays–Gödel
5916:Cambridge University Press
4466:Introduction To Algorithms
4154:
4060:
4056:
3483:
3134:{1, 2, 3} ∩ {3, 4, 5} = {3
2564:
2537:, such that every element
2519:
2435:elements, as shown above.
2327:
2293:
2071:
1269:) typeface. These include
708:
704:
670:
648:{\displaystyle \emptyset }
616:
470:
393:is the set of all numbers
309:
15:
8599:
8551:
8543:List of set theory topics
8488:
8418:
8359:
8346:Philosophy of mathematics
8295:Automated theorem proving
8277:
8172:
8004:
7897:
7749:
7466:
7442:
7420:Von Neumann–Bernays–Gödel
7365:
7259:
7163:
7061:
7052:
6979:
6914:
6820:
6742:
6659:
6546:
6509:
6421:
6311:
6283:One-to-one correspondence
6199:
6140:
6024:
6013:
5999:
5910:Velleman, Daniel (2006).
5887:Stoll, Robert R. (1979).
5733:Georg Cantor (Nov 1895).
4730:. CRC Press. p. 11.
4609:. CRC Press. p. 45.
4303:mathematical propositions
4240:do not contain themselves
4200:. As a consequence, e.g.
4078:Paradoxes of the Infinite
3343:= {rock, paper, scissors}
2376:. The power set of a set
2078:The cardinality of a set
2062:one-to-one correspondence
1582:(that is, the set of all
693:is the element. The set {
5844:Harvard University Press
5429:10.1515/crll.1878.84.242
5136:Felix Hausdorff (2005).
4365:
3444:, one and only one pair
3380:in the game if the pair
2940:, it is also called the
2290:The continuum hypothesis
1384:(often, authors exclude
727:is described as being a
715:If every element of set
441:listing all its elements
208:represent the same set.
113:Definition and notation
34:A set of polygons in an
8523:Constructive set theory
7996:Self-verifying theories
7817:Tarski's axiomatization
6768:Tarski's undefinability
6763:incompleteness theorems
4185:, and every element of
3008:but not both. One has
2427:elements. For example,
2382:is commonly written as
2334:The power set of a set
2211:countably infinite sets
2143:. For example, the set
1989:. A function is called
1767:numbers (which include
983:Euler and Venn diagrams
673:Singleton (mathematics)
571:is an integer, and 0 ≤
164:, separated by commas:
8624:Higher category theory
8528:Descriptive set theory
8433:Mathematical induction
8370:Mathematics portal
7981:Proof of impossibility
7629:propositional variable
6939:Propositional calculus
6241:Constructible universe
6061:Constructibility (V=L)
5483:10.1073/pnas.50.6.1143
5431:(inactive 2024-09-19).
5409:Cantor, Georg (1878).
4889:John F. Lucas (1990).
4580:"Introduction to Sets"
4514:Stoll, Robert (1974).
4329:Alternative set theory
4148:
4117:
4101:
4045:
3586:
3495:
3066:
2962:(in the universal set
2815:
2794:
2772:
2741:
2695:
2589:
2252:
2230:
2196:
2159:
2036:, and each element of
1931:
1853:
1831:
1797:transcendental numbers
1789:
1753:
1731:
1661:
1572:
1550:
1526:
1428:
1406:
1378:
1310:
1288:
1263:
1237:
1215:
1209:
1184:
1159:
1134:
1109:
1008:
929:is a proper subset of
870:, and is not equal to
838:. This can be written
649:
436:extensional definition
423:intensional definition
385:In this notation, the
377:
46:
38:
8586:Univalent foundations
8571:Dependent type theory
8561:Axiom of reducibility
8239:Kolmogorov complexity
8192:Computably enumerable
8092:Model complete theory
7884:Principia Mathematica
6944:Propositional formula
6773:Banach–Tarski paradox
6464:Principia Mathematica
6298:Transfinite induction
6157:(i.e. set difference)
5764:, chapter VI: Classes
5739:Mathematische Annalen
4359:Principia Mathematica
4271:defines a set as any
4132:
4113:
4087:
4046:
3587:
3493:
3067:
2800:
2778:
2747:
2712:
2696:
2631:. It may be denoted
2574:
2469:with the elements of
2444:is infinite (whether
2253:
2231:
2197:
2160:
1932:
1854:
1832:
1790:
1754:
1732:
1662:
1573:
1551:
1527:
1429:
1407:
1379:
1311:
1289:
1264:
1238:
1210:
1185:
1160:
1135:
1115:are contained in the
1110:
1089:
990:
944:{1, 3} ⊂ {1, 2, 3, 4}
650:
519:is not an element of
473:Element (mathematics)
378:
44:
33:
8709:Mathematical objects
8581:Homotopy type theory
8508:Axiomatic set theory
8187:Church–Turing thesis
8174:Computability theory
7383:continuum hypothesis
6901:Square of opposition
6759:Gödel's completeness
6538:Burali-Forti paradox
6293:Set-builder notation
6246:Continuum hypothesis
6186:Symmetric difference
5889:Set Theory and Logic
5631:. Birkhäuser Basel.
4295:Axiomatic set theory
4285:Axiomatic set theory
3598:
3503:
3310:. A relation from a
3012:
2989:symmetric difference
2804:symmetric difference
2648:
2296:Continuum hypothesis
2279:, and indeed of any
2240:
2218:
2184:
2171:infinite cardinality
2147:
2105:= {blue, white, red}
2022:that maps to it, and
1912:
1841:
1819:
1775:
1741:
1719:
1594:
1560:
1538:
1442:
1416:
1394:
1324:
1298:
1276:
1251:
1225:
1197:
1172:
1147:
1122:
1097:
765:B is a superset of A
639:
556:= {blue, white, red}
455:ostensive definition
326:
312:Set-builder notation
306:Set-builder notation
300:semantic description
247:{0, 1, 2, 3, 4, ...}
240:nonnegative integers
223:{1, 2, 3, ..., 1000}
179:= {blue, white, red}
158:enumeration notation
101:, more specifically
69:mathematical objects
8341:Mathematical object
8232:P versus NP problem
8197:Computable function
7991:Reverse mathematics
7917:Logical consequence
7794:primitive recursive
7789:elementary function
7562:Free/bound variable
7415:Tarski–Grothendieck
6934:Logical connectives
6864:Logical equivalence
6714:Logical consequence
6499:Tarski–Grothendieck
5474:1963PNAS...50.1143C
5250:Notes on Set Theory
4916:Weisstein, Eric W.
4412:Functional Analysis
4096:is translated with
3238:The cardinality of
2942:relative complement
2818:Given any two sets
2703:absolute complement
439:describes a set by
269:Semantic definition
253:and the set of all
8566:Simple type theory
8513:Zermelo set theory
8460:Mathematical proof
8420:Mathematical logic
8139:Transfer principle
8102:Semantics of logic
8087:Categorical theory
8063:Non-standard model
7577:Logical connective
6704:Information theory
6653:Mathematical logic
6088:Limitation of size
5893:Dover Publications
5022:www.mathsisfun.com
4808:Elementary Algebra
4584:www.mathsisfun.com
4339:Class (set theory)
4102:
4041:
4039:
3582:
3496:
3160:} × {1, 2, 3} = {(
3088:is the set of all
3062:
2932:. Especially when
2816:
2795:
2773:
2742:
2691:
2590:
2528:partition of a set
2522:Partition of a set
2281:finite-dimensional
2248:
2226:
2192:
2155:
2100:. For example, if
1927:
1849:
1827:
1785:
1749:
1727:
1657:
1588:improper fractions
1568:
1546:
1522:
1424:
1402:
1374:
1306:
1284:
1259:
1233:
1216:
1205:
1180:
1155:
1130:
1105:
1042:sets in which the
1009:
697:} and the element
645:
515:". The statement "
373:
47:
39:
8704:Concepts in logic
8657:
8656:
8538:Russell's paradox
8453:Natural deduction
8377:
8376:
8309:Abstract category
8112:Theories of truth
7922:Rule of inference
7912:Natural deduction
7893:
7892:
7438:
7437:
7143:Cartesian product
7048:
7047:
6954:Many-valued logic
6929:Boolean functions
6812:Russell's paradox
6787:diagonal argument
6684:First-order logic
6619:
6618:
6528:Russell's paradox
6477:Zermelo–Fraenkel
6378:Dedekind-infinite
6251:Diagonal argument
6150:Cartesian product
6007:Set (mathematics)
5891:. Mineola, N.Y.:
5832:Dauben, Joseph W.
5787:978-3-7643-5749-8
5719:978-0-19-255683-7
5692:978-0-19-850535-8
5665:978-0-19-151370-1
5638:978-3-7643-8349-7
5595:978-1-4398-6333-6
5568:978-1-931914-41-3
5395:978-0-306-47203-9
5368:978-3-319-01577-4
5341:978-0-495-38913-2
5314:978-1-939512-07-9
5287:978-981-02-4500-9
5260:978-3-540-94180-4
5233:978-1-139-43943-5
5176:978-1-84628-292-8
5149:978-0-8218-3835-8
5073:978-962-209-026-2
5003:978-1-85233-781-0
4954:978-0-314-29531-6
4922:Wolfram MathWorld
4902:978-0-912675-73-2
4866:978-1-4411-7413-0
4818:978-0-618-95134-5
4791:978-1-285-60843-3
4764:978-1-4831-5039-0
4737:978-1-4398-6375-6
4697:978-0-495-39132-6
4670:978-1-133-10742-2
4643:978-0-7167-6297-3
4616:978-1-4200-6956-3
4560:978-0-07-136841-4
4476:978-0-262-03293-3
4449:978-0-486-65252-8
4422:978-81-224-0801-0
4307:first-order logic
4236:Russell's paradox
4189:is an element of
4181:is an element of
4128:Russell's paradox
3458:, it is called a
3345:of shapes in the
3115:is an element of
3107:is an element of
3077:cartesian product
2658:
2547:pairwise disjoint
1859:, the set of all
1783:
1769:algebraic numbers
1759:, the set of all
1618:
1578:, the set of all
1434:, the set of all
1316:, the set of all
1003:is a superset of
901:is any subset of
799:is equivalent to
485:is an element of
350:
8721:
8686:
8685:
8684:
8674:
8673:
8665:
8619:Category of sets
8591:Girard's paradox
8503:Naive set theory
8443:Axiomatic system
8410:Major topics in
8404:
8397:
8390:
8381:
8380:
8368:
8367:
8319:History of logic
8314:Category of sets
8207:Decision problem
7986:Ordinal analysis
7927:Sequent calculus
7825:Boolean algebras
7765:
7764:
7739:
7710:logical/constant
7464:
7463:
7450:
7373:Zermelo–Fraenkel
7124:Set operations:
7059:
7058:
6996:
6827:
6826:
6807:Löwenheim–Skolem
6694:Formal semantics
6646:
6639:
6632:
6623:
6622:
6601:Bertrand Russell
6591:John von Neumann
6576:Abraham Fraenkel
6571:Richard Dedekind
6533:Suslin's problem
6444:Cantor's theorem
6161:De Morgan's laws
6019:
5986:
5979:
5972:
5963:
5962:
5958:
5943:
5929:
5906:
5883:
5871:
5868:Naive Set Theory
5857:
5841:
5818:
5817:
5815:
5814:
5798:
5792:
5791:
5771:
5765:
5756:Bertrand Russell
5753:
5747:
5746:
5730:
5724:
5723:
5703:
5697:
5696:
5676:
5670:
5669:
5649:
5643:
5642:
5622:
5616:
5606:
5600:
5599:
5579:
5573:
5572:
5552:
5546:
5536:
5530:
5520:
5514:
5513:
5503:
5485:
5468:(6): 1143–1148.
5453:
5447:
5446:
5440:
5432:
5406:
5400:
5399:
5379:
5373:
5372:
5352:
5346:
5345:
5325:
5319:
5318:
5298:
5292:
5291:
5271:
5265:
5264:
5244:
5238:
5237:
5217:
5200:
5190:
5181:
5180:
5160:
5154:
5153:
5133:
5124:
5114:
5108:
5107:
5099:
5093:
5092:
5084:
5078:
5077:
5057:
5051:
5041:
5032:
5031:
5029:
5028:
5014:
5008:
5007:
4987:
4978:
4968:
4959:
4958:
4938:
4932:
4931:
4929:
4928:
4913:
4907:
4906:
4886:
4871:
4870:
4850:
4839:
4829:
4823:
4822:
4802:
4796:
4795:
4775:
4769:
4768:
4748:
4742:
4741:
4721:
4715:
4708:
4702:
4701:
4681:
4675:
4674:
4654:
4648:
4647:
4627:
4621:
4620:
4600:
4594:
4593:
4591:
4590:
4576:
4565:
4564:
4544:
4538:
4537:
4521:
4511:
4502:
4492:
4481:
4480:
4460:
4454:
4453:
4433:
4427:
4426:
4406:
4400:
4398:
4379:
4334:Category of sets
4299:primitive notion
4269:Naïve set theory
4262:Cantor's paradox
4258:}, cannot exist.
4223:
4219:
4207:
4203:
4157:Naive set theory
4151:Naive set theory
4120:Bertrand Russell
4071:, was coined by
4050:
4048:
4047:
4042:
4040:
4033:
4029:
4025:
4024:
4023:
4005:
4004:
3992:
3991:
3979:
3978:
3960:
3959:
3948:
3944:
3928:
3923:
3913:
3908:
3904:
3900:
3899:
3895:
3894:
3893:
3881:
3880:
3854:
3850:
3849:
3848:
3836:
3835:
3818:
3814:
3813:
3812:
3800:
3799:
3777:
3772:
3768:
3764:
3763:
3759:
3758:
3739:
3735:
3734:
3718:
3714:
3713:
3697:
3693:
3692:
3669:
3665:
3664:
3663:
3645:
3644:
3632:
3631:
3619:
3618:
3591:
3589:
3588:
3583:
3578:
3564:
3556:
3548:
3540:
3532:
3524:
3510:
3475:
3457:
3451:
3443:
3437:
3431:
3421:
3415:
3403:
3397:
3391:
3379:
3373:
3367:
3360:
3354:
3344:
3337:
3327:
3318:
3285:abstract algebra
3263:
3259:
3255:
3251:
3247:
3234:
3227:
3223:
3219:
3214:
3192:De Morgan's laws
3185:
3147:
3141:
3135:
3129:
3118:
3114:
3110:
3106:
3102:
3087:
3071:
3069:
3068:
3063:
3007:
3003:
2999:
2983:
2965:
2957:
2951:
2947:
2939:
2935:
2931:
2927:
2923:
2913:
2893:
2889:
2885:
2866:
2842:
2825:
2821:
2792:
2770:
2760:
2756:
2739:
2729:
2723:
2700:
2698:
2697:
2692:
2660:
2659:
2656:
2643:
2636:
2630:
2622:
2618:
2606:
2602:
2598:
2561:Basic operations
2511:
2500:
2490:
2479:
2468:
2462:
2443:
2434:
2430:
2426:
2422:
2411:
2405:
2396:
2392:
2381:
2375:
2371:
2367:
2361:
2355:
2345:
2339:
2261:uncountable sets
2257:
2255:
2254:
2249:
2247:
2235:
2233:
2232:
2227:
2225:
2201:
2199:
2198:
2193:
2191:
2164:
2162:
2161:
2156:
2154:
2122:
2120:
2114:
2112:
2106:
2099:
2093:
2091:
2083:
2043:
2039:
2035:
2031:
2021:
2017:
2007:
1999:
1988:
1980:
1972:
1968:
1964:
1960:
1936:
1934:
1933:
1928:
1926:
1925:
1920:
1900:
1889:
1858:
1856:
1855:
1850:
1848:
1836:
1834:
1833:
1828:
1826:
1811:
1803:
1794:
1792:
1791:
1786:
1784:
1779:
1758:
1756:
1755:
1750:
1748:
1736:
1734:
1733:
1728:
1726:
1712:
1707:
1705:
1704:
1701:
1698:
1689:
1684:
1682:
1681:
1678:
1675:
1666:
1664:
1663:
1658:
1656:
1652:
1639:
1619:
1611:
1601:
1580:rational numbers
1577:
1575:
1574:
1569:
1567:
1555:
1553:
1552:
1547:
1545:
1531:
1529:
1528:
1523:
1449:
1433:
1431:
1430:
1425:
1423:
1411:
1409:
1408:
1403:
1401:
1387:
1383:
1381:
1380:
1375:
1331:
1315:
1313:
1312:
1307:
1305:
1293:
1291:
1290:
1285:
1283:
1268:
1266:
1265:
1260:
1258:
1242:
1240:
1239:
1234:
1232:
1214:
1212:
1211:
1206:
1204:
1189:
1187:
1186:
1181:
1179:
1164:
1162:
1161:
1156:
1154:
1142:rational numbers
1139:
1137:
1136:
1131:
1129:
1114:
1112:
1111:
1106:
1104:
1077:
1073:
1069:
1065:
1061:
1057:
1053:
1049:
1045:
1041:
1030:
1026:
1022:
1018:
977:
965:
951:
945:
925:for cases where
924:
914:
896:
886:
857:
847:
822:is not equal to
798:
788:
754:
744:
662:
658:
654:
652:
651:
646:
634:
608:
601:
592:
585:
576:
557:
550:
532:
523:" is written as
498:
488:
484:
480:
400:
396:
392:
382:
380:
379:
374:
351:
348:
319:
290:
279:
265:
263:
250:
248:
224:
218:
207:
203:
180:
172:
136:
132:
128:
18:Naive set theory
8729:
8728:
8724:
8723:
8722:
8720:
8719:
8718:
8694:
8693:
8692:
8682:
8680:
8668:
8660:
8658:
8653:
8601:Category theory
8595:
8547:
8484:
8414:
8408:
8378:
8373:
8362:
8355:
8300:Category theory
8290:Algebraic logic
8273:
8244:Lambda calculus
8182:Church encoding
8168:
8144:Truth predicate
8000:
7966:Complete theory
7889:
7758:
7754:
7750:
7745:
7737:
7457: and
7453:
7448:
7434:
7410:New Foundations
7378:axiom of choice
7361:
7323:Gödel numbering
7263: and
7255:
7159:
7044:
6994:
6975:
6924:Boolean algebra
6910:
6874:Equiconsistency
6839:Classical logic
6816:
6797:Halting problem
6785: and
6761: and
6749: and
6748:
6743:Theorems (
6738:
6655:
6650:
6620:
6615:
6542:
6521:
6505:
6470:New Foundations
6417:
6307:
6226:Cardinal number
6209:
6195:
6136:
6020:
6011:
5995:
5990:
5956:
5936:
5926:
5903:
5880:
5862:Halmos, Paul R.
5854:
5827:
5822:
5821:
5812:
5810:
5799:
5795:
5788:
5772:
5768:
5754:
5750:
5731:
5727:
5720:
5704:
5700:
5693:
5677:
5673:
5666:
5650:
5646:
5639:
5623:
5619:
5607:
5603:
5596:
5580:
5576:
5569:
5553:
5549:
5537:
5533:
5521:
5517:
5454:
5450:
5434:
5433:
5423:(84): 242–258.
5407:
5403:
5396:
5380:
5376:
5369:
5353:
5349:
5342:
5326:
5322:
5315:
5299:
5295:
5288:
5272:
5268:
5261:
5245:
5241:
5234:
5218:
5203:
5191:
5184:
5177:
5161:
5157:
5150:
5134:
5127:
5115:
5111:
5100:
5096:
5085:
5081:
5074:
5058:
5054:
5042:
5035:
5026:
5024:
5016:
5015:
5011:
5004:
4988:
4981:
4969:
4962:
4955:
4944:College Algebra
4939:
4935:
4926:
4924:
4914:
4910:
4903:
4887:
4874:
4867:
4851:
4842:
4830:
4826:
4819:
4803:
4799:
4792:
4776:
4772:
4765:
4749:
4745:
4738:
4722:
4718:
4709:
4705:
4698:
4682:
4678:
4671:
4655:
4651:
4644:
4628:
4624:
4617:
4601:
4597:
4588:
4586:
4578:
4577:
4568:
4561:
4545:
4541:
4534:
4512:
4505:
4493:
4484:
4477:
4461:
4457:
4450:
4434:
4430:
4423:
4407:
4403:
4380:
4373:
4368:
4363:
4324:Algebra of sets
4319:
4309:. According to
4287:
4221:
4217:
4205:
4201:
4165:. Two sets are
4159:
4153:
4073:Bernard Bolzano
4065:
4059:
4053:
4038:
4037:
4019:
4015:
4000:
3996:
3987:
3983:
3974:
3970:
3969:
3965:
3961:
3949:
3937:
3933:
3932:
3927:
3921:
3920:
3912:
3906:
3905:
3889:
3885:
3870:
3866:
3865:
3861:
3844:
3840:
3831:
3827:
3826:
3822:
3808:
3804:
3795:
3791:
3790:
3786:
3785:
3781:
3776:
3770:
3769:
3754:
3750:
3746:
3730:
3726:
3722:
3709:
3705:
3701:
3688:
3684:
3680:
3679:
3675:
3673:
3659:
3655:
3640:
3636:
3627:
3623:
3614:
3610:
3609:
3605:
3601:
3599:
3596:
3595:
3574:
3560:
3552:
3544:
3536:
3528:
3520:
3506:
3504:
3501:
3500:
3488:
3482:
3463:
3453:
3445:
3439:
3433:
3423:
3417:
3405:
3399:
3393:
3392:is a member of
3381:
3375:
3369:
3362:
3356:
3350:
3339:
3329:
3323:
3314:
3277:
3261:
3257:
3253:
3249:
3239:
3232:
3225:
3221:
3217:
3196:
3151:
3145:
3139:
3133:
3127:
3116:
3112:
3108:
3104:
3092:
3079:
3013:
3010:
3009:
3005:
3001:
2991:
2967:
2963:
2953:
2949:
2945:
2937:
2936:is a subset of
2933:
2929:
2925:
2915:
2905:
2894:are said to be
2891:
2887:
2876:
2858:
2834:
2823:
2819:
2814:
2793:
2784:
2771:
2762:
2758:
2754:
2740:
2731:
2725:
2719:
2655:
2651:
2649:
2646:
2645:
2638:
2632:
2628:
2620:
2616:
2604:
2603:is a subset of
2600:
2596:
2592:Suppose that a
2588:
2569:
2567:Algebra of sets
2563:
2524:
2518:
2502:
2496:
2481:
2470:
2464:
2453:
2439:
2432:
2428:
2424:
2413:
2412:elements, then
2407:
2401:
2394:
2383:
2377:
2373:
2369:
2363:
2357:
2351:
2341:
2335:
2332:
2326:
2318:axiom of choice
2298:
2292:
2284:Euclidean space
2243:
2241:
2238:
2237:
2221:
2219:
2216:
2215:
2187:
2185:
2182:
2181:
2167:natural numbers
2150:
2148:
2145:
2144:
2135:
2118:
2116:
2110:
2108:
2101:
2095:
2087:
2085:
2079:
2076:
2070:
2041:
2037:
2033:
2029:
2019:
2015:
2005:
1997:
1986:
1978:
1970:
1966:
1962:
1958:
1943:
1921:
1916:
1915:
1913:
1910:
1909:
1891:
1890:, for example,
1864:
1861:complex numbers
1844:
1842:
1839:
1838:
1822:
1820:
1817:
1816:
1807:
1801:
1778:
1776:
1773:
1772:
1744:
1742:
1739:
1738:
1722:
1720:
1717:
1716:
1702:
1699:
1696:
1695:
1693:
1691:
1679:
1676:
1673:
1672:
1670:
1668:
1667:. For example,
1635:
1610:
1609:
1605:
1597:
1595:
1592:
1591:
1563:
1561:
1558:
1557:
1541:
1539:
1536:
1535:
1445:
1443:
1440:
1439:
1419:
1417:
1414:
1413:
1397:
1395:
1392:
1391:
1385:
1327:
1325:
1322:
1321:
1318:natural numbers
1301:
1299:
1296:
1295:
1279:
1277:
1274:
1273:
1254:
1252:
1249:
1248:
1245:blackboard bold
1228:
1226:
1223:
1222:
1200:
1198:
1195:
1194:
1192:complex numbers
1175:
1173:
1170:
1169:
1150:
1148:
1145:
1144:
1125:
1123:
1120:
1119:
1100:
1098:
1095:
1094:
1092:natural numbers
1084:
1075:
1071:
1067:
1063:
1059:
1055:
1051:
1047:
1043:
1039:
1028:
1024:
1020:
1019:is a subset of
1016:
999:
994:is a subset of
985:
969:
960:
949:
943:
916:
906:
888:
878:
849:
839:
814:is a subset of
790:
780:
746:
736:
713:
707:
675:
669:
660:
656:
640:
637:
636:
632:
621:
615:
610:
603:
596:
594:
587:
580:
559:
552:
545:
524:
490:
486:
482:
478:
475:
469:
411:
398:
394:
390:
347:
327:
324:
323:
317:
314:
308:
296:
288:
285:
277:
271:
266:
261:
260:
251:
246:
245:
231:
226:
222:
216:
205:
201:
182:
175:
173:
167:
151:
149:Roster notation
134:
130:
126:
119:capital letters
115:
28:
25:
12:
11:
5:
8727:
8717:
8716:
8711:
8706:
8691:
8690:
8678:
8655:
8654:
8652:
8651:
8646:
8641:
8636:
8634:∞-topos theory
8631:
8626:
8621:
8616:
8611:
8605:
8603:
8597:
8596:
8594:
8593:
8588:
8583:
8578:
8573:
8568:
8563:
8557:
8555:
8549:
8548:
8546:
8545:
8540:
8535:
8530:
8525:
8520:
8515:
8510:
8505:
8500:
8494:
8492:
8486:
8485:
8483:
8482:
8477:
8472:
8467:
8462:
8457:
8456:
8455:
8450:
8448:Hilbert system
8445:
8435:
8430:
8424:
8422:
8416:
8415:
8407:
8406:
8399:
8392:
8384:
8375:
8374:
8360:
8357:
8356:
8354:
8353:
8348:
8343:
8338:
8333:
8332:
8331:
8321:
8316:
8311:
8302:
8297:
8292:
8287:
8285:Abstract logic
8281:
8279:
8275:
8274:
8272:
8271:
8266:
8264:Turing machine
8261:
8256:
8251:
8246:
8241:
8236:
8235:
8234:
8229:
8224:
8219:
8214:
8204:
8202:Computable set
8199:
8194:
8189:
8184:
8178:
8176:
8170:
8169:
8167:
8166:
8161:
8156:
8151:
8146:
8141:
8136:
8131:
8130:
8129:
8124:
8119:
8109:
8104:
8099:
8097:Satisfiability
8094:
8089:
8084:
8083:
8082:
8072:
8071:
8070:
8060:
8059:
8058:
8053:
8048:
8043:
8038:
8028:
8027:
8026:
8021:
8014:Interpretation
8010:
8008:
8002:
8001:
7999:
7998:
7993:
7988:
7983:
7978:
7968:
7963:
7962:
7961:
7960:
7959:
7949:
7944:
7934:
7929:
7924:
7919:
7914:
7909:
7903:
7901:
7895:
7894:
7891:
7890:
7888:
7887:
7879:
7878:
7877:
7876:
7871:
7870:
7869:
7864:
7859:
7839:
7838:
7837:
7835:minimal axioms
7832:
7821:
7820:
7819:
7808:
7807:
7806:
7801:
7796:
7791:
7786:
7781:
7768:
7766:
7747:
7746:
7744:
7743:
7742:
7741:
7729:
7724:
7723:
7722:
7717:
7712:
7707:
7697:
7692:
7687:
7682:
7681:
7680:
7675:
7665:
7664:
7663:
7658:
7653:
7648:
7638:
7633:
7632:
7631:
7626:
7621:
7611:
7610:
7609:
7604:
7599:
7594:
7589:
7584:
7574:
7569:
7564:
7559:
7558:
7557:
7552:
7547:
7542:
7532:
7527:
7525:Formation rule
7522:
7517:
7516:
7515:
7510:
7500:
7499:
7498:
7488:
7483:
7478:
7473:
7467:
7461:
7444:Formal systems
7440:
7439:
7436:
7435:
7433:
7432:
7427:
7422:
7417:
7412:
7407:
7402:
7397:
7392:
7387:
7386:
7385:
7380:
7369:
7367:
7363:
7362:
7360:
7359:
7358:
7357:
7347:
7342:
7341:
7340:
7333:Large cardinal
7330:
7325:
7320:
7315:
7310:
7296:
7295:
7294:
7289:
7284:
7269:
7267:
7257:
7256:
7254:
7253:
7252:
7251:
7246:
7241:
7231:
7226:
7221:
7216:
7211:
7206:
7201:
7196:
7191:
7186:
7181:
7176:
7170:
7168:
7161:
7160:
7158:
7157:
7156:
7155:
7150:
7145:
7140:
7135:
7130:
7122:
7121:
7120:
7115:
7105:
7100:
7098:Extensionality
7095:
7093:Ordinal number
7090:
7080:
7075:
7074:
7073:
7062:
7056:
7050:
7049:
7046:
7045:
7043:
7042:
7037:
7032:
7027:
7022:
7017:
7012:
7011:
7010:
7000:
6999:
6998:
6985:
6983:
6977:
6976:
6974:
6973:
6972:
6971:
6966:
6961:
6951:
6946:
6941:
6936:
6931:
6926:
6920:
6918:
6912:
6911:
6909:
6908:
6903:
6898:
6893:
6888:
6883:
6878:
6877:
6876:
6866:
6861:
6856:
6851:
6846:
6841:
6835:
6833:
6824:
6818:
6817:
6815:
6814:
6809:
6804:
6799:
6794:
6789:
6777:Cantor's
6775:
6770:
6765:
6755:
6753:
6740:
6739:
6737:
6736:
6731:
6726:
6721:
6716:
6711:
6706:
6701:
6696:
6691:
6686:
6681:
6676:
6675:
6674:
6663:
6661:
6657:
6656:
6649:
6648:
6641:
6634:
6626:
6617:
6616:
6614:
6613:
6608:
6606:Thoralf Skolem
6603:
6598:
6593:
6588:
6583:
6578:
6573:
6568:
6563:
6558:
6552:
6550:
6544:
6543:
6541:
6540:
6535:
6530:
6524:
6522:
6520:
6519:
6516:
6510:
6507:
6506:
6504:
6503:
6502:
6501:
6496:
6491:
6490:
6489:
6474:
6473:
6472:
6460:
6459:
6458:
6447:
6446:
6441:
6436:
6431:
6425:
6423:
6419:
6418:
6416:
6415:
6410:
6405:
6400:
6391:
6386:
6381:
6371:
6366:
6365:
6364:
6359:
6354:
6344:
6334:
6329:
6324:
6318:
6316:
6309:
6308:
6306:
6305:
6300:
6295:
6290:
6288:Ordinal number
6285:
6280:
6275:
6270:
6269:
6268:
6263:
6253:
6248:
6243:
6238:
6233:
6223:
6218:
6212:
6210:
6208:
6207:
6204:
6200:
6197:
6196:
6194:
6193:
6188:
6183:
6178:
6173:
6168:
6166:Disjoint union
6163:
6158:
6152:
6146:
6144:
6138:
6137:
6135:
6134:
6133:
6132:
6127:
6116:
6115:
6113:Martin's axiom
6110:
6105:
6100:
6095:
6090:
6085:
6080:
6078:Extensionality
6075:
6074:
6073:
6063:
6058:
6057:
6056:
6051:
6046:
6036:
6030:
6028:
6022:
6021:
6014:
6012:
6010:
6009:
6003:
6001:
5997:
5996:
5989:
5988:
5981:
5974:
5966:
5960:
5959:
5951:
5935:
5934:External links
5932:
5931:
5930:
5924:
5907:
5901:
5884:
5878:
5858:
5852:
5826:
5823:
5820:
5819:
5793:
5786:
5766:
5748:
5725:
5718:
5698:
5691:
5671:
5664:
5658:. OUP Oxford.
5644:
5637:
5617:
5601:
5594:
5574:
5567:
5547:
5531:
5515:
5448:
5401:
5394:
5374:
5367:
5347:
5340:
5320:
5313:
5293:
5286:
5266:
5259:
5239:
5232:
5201:
5182:
5175:
5155:
5148:
5125:
5109:
5094:
5079:
5072:
5052:
5033:
5009:
5002:
4979:
4960:
4953:
4933:
4908:
4901:
4872:
4865:
4840:
4824:
4817:
4797:
4790:
4770:
4763:
4743:
4736:
4716:
4710:A. Kanamori, "
4703:
4696:
4676:
4669:
4649:
4642:
4622:
4615:
4595:
4566:
4559:
4539:
4532:
4503:
4482:
4475:
4455:
4448:
4428:
4421:
4401:
4370:
4369:
4367:
4364:
4362:
4361:
4356:
4351:
4346:
4344:Family of sets
4341:
4336:
4331:
4326:
4320:
4318:
4315:
4286:
4283:
4266:
4265:
4259:
4196:extensionality
4155:Main article:
4152:
4149:
4061:Main article:
4058:
4055:
4036:
4032:
4028:
4022:
4018:
4014:
4011:
4008:
4003:
3999:
3995:
3990:
3986:
3982:
3977:
3973:
3968:
3964:
3958:
3955:
3952:
3947:
3943:
3940:
3936:
3931:
3926:
3924:
3922:
3919:
3916:
3911:
3909:
3907:
3903:
3898:
3892:
3888:
3884:
3879:
3876:
3873:
3869:
3864:
3860:
3857:
3853:
3847:
3843:
3839:
3834:
3830:
3825:
3821:
3817:
3811:
3807:
3803:
3798:
3794:
3789:
3784:
3780:
3775:
3773:
3771:
3767:
3762:
3757:
3753:
3749:
3745:
3742:
3738:
3733:
3729:
3725:
3721:
3717:
3712:
3708:
3704:
3700:
3696:
3691:
3687:
3683:
3678:
3674:
3672:
3668:
3662:
3658:
3654:
3651:
3648:
3643:
3639:
3635:
3630:
3626:
3622:
3617:
3613:
3608:
3604:
3603:
3581:
3577:
3573:
3570:
3567:
3563:
3559:
3555:
3551:
3547:
3543:
3539:
3535:
3531:
3527:
3523:
3519:
3516:
3513:
3509:
3484:Main article:
3481:
3478:
3276:
3273:
3188:
3187:
3149:
3143:
3137:
3131:
3121:
3120:
3073:
3061:
3058:
3055:
3052:
3049:
3046:
3043:
3040:
3037:
3034:
3031:
3028:
3025:
3021:
3017:
2985:
2914:(also written
2903:set difference
2899:
2852:
2801:
2782:set difference
2779:
2748:
2713:
2707:
2706:
2690:
2687:
2684:
2681:
2678:
2675:
2672:
2669:
2666:
2663:
2654:
2575:
2565:Main article:
2562:
2559:
2520:Main article:
2517:
2514:
2328:Main article:
2325:
2322:
2294:Main article:
2291:
2288:
2246:
2224:
2205:countable sets
2190:
2153:
2134:
2131:
2072:Main article:
2069:
2066:
2046:
2045:
2023:
2009:
1942:
1939:
1924:
1919:
1903:
1902:
1847:
1825:
1814:
1782:
1747:
1725:
1714:
1655:
1651:
1648:
1645:
1642:
1638:
1634:
1631:
1628:
1625:
1622:
1617:
1614:
1608:
1604:
1600:
1566:
1544:
1533:
1521:
1518:
1515:
1512:
1509:
1506:
1503:
1500:
1497:
1494:
1491:
1488:
1485:
1482:
1479:
1476:
1473:
1470:
1467:
1464:
1461:
1458:
1455:
1452:
1448:
1422:
1400:
1389:
1373:
1370:
1367:
1364:
1361:
1358:
1355:
1352:
1349:
1346:
1343:
1340:
1337:
1334:
1330:
1304:
1282:
1257:
1231:
1203:
1178:
1153:
1128:
1103:
1083:
1080:
984:
981:
980:
979:
967:
954:
953:
947:
941:
733:contained in B
709:Main article:
706:
703:
671:Main article:
668:
667:Singleton sets
665:
644:
617:Main article:
614:
611:
595:
579:
549:= {1, 2, 3, 4}
471:Main article:
468:
465:
464:
463:
450:
431:
410:
407:
372:
369:
366:
363:
360:
357:
354:
346:
343:
340:
337:
334:
331:
310:Main article:
307:
304:
286:
275:
270:
267:
259:
244:
230:
227:
221:
174:
171:= {4, 2, 1, 3}
166:
162:curly brackets
150:
147:
114:
111:
92:extensionality
26:
9:
6:
4:
3:
2:
8726:
8715:
8712:
8710:
8707:
8705:
8702:
8701:
8699:
8689:
8679:
8677:
8672:
8667:
8666:
8663:
8650:
8647:
8645:
8642:
8640:
8637:
8635:
8632:
8630:
8627:
8625:
8622:
8620:
8617:
8615:
8612:
8610:
8607:
8606:
8604:
8602:
8598:
8592:
8589:
8587:
8584:
8582:
8579:
8577:
8574:
8572:
8569:
8567:
8564:
8562:
8559:
8558:
8556:
8554:
8550:
8544:
8541:
8539:
8536:
8534:
8531:
8529:
8526:
8524:
8521:
8519:
8516:
8514:
8511:
8509:
8506:
8504:
8501:
8499:
8496:
8495:
8493:
8491:
8487:
8481:
8478:
8476:
8473:
8471:
8468:
8466:
8463:
8461:
8458:
8454:
8451:
8449:
8446:
8444:
8441:
8440:
8439:
8438:Formal system
8436:
8434:
8431:
8429:
8426:
8425:
8423:
8421:
8417:
8413:
8405:
8400:
8398:
8393:
8391:
8386:
8385:
8382:
8372:
8371:
8366:
8358:
8352:
8349:
8347:
8344:
8342:
8339:
8337:
8334:
8330:
8327:
8326:
8325:
8322:
8320:
8317:
8315:
8312:
8310:
8306:
8303:
8301:
8298:
8296:
8293:
8291:
8288:
8286:
8283:
8282:
8280:
8276:
8270:
8267:
8265:
8262:
8260:
8259:Recursive set
8257:
8255:
8252:
8250:
8247:
8245:
8242:
8240:
8237:
8233:
8230:
8228:
8225:
8223:
8220:
8218:
8215:
8213:
8210:
8209:
8208:
8205:
8203:
8200:
8198:
8195:
8193:
8190:
8188:
8185:
8183:
8180:
8179:
8177:
8175:
8171:
8165:
8162:
8160:
8157:
8155:
8152:
8150:
8147:
8145:
8142:
8140:
8137:
8135:
8132:
8128:
8125:
8123:
8120:
8118:
8115:
8114:
8113:
8110:
8108:
8105:
8103:
8100:
8098:
8095:
8093:
8090:
8088:
8085:
8081:
8078:
8077:
8076:
8073:
8069:
8068:of arithmetic
8066:
8065:
8064:
8061:
8057:
8054:
8052:
8049:
8047:
8044:
8042:
8039:
8037:
8034:
8033:
8032:
8029:
8025:
8022:
8020:
8017:
8016:
8015:
8012:
8011:
8009:
8007:
8003:
7997:
7994:
7992:
7989:
7987:
7984:
7982:
7979:
7976:
7975:from ZFC
7972:
7969:
7967:
7964:
7958:
7955:
7954:
7953:
7950:
7948:
7945:
7943:
7940:
7939:
7938:
7935:
7933:
7930:
7928:
7925:
7923:
7920:
7918:
7915:
7913:
7910:
7908:
7905:
7904:
7902:
7900:
7896:
7886:
7885:
7881:
7880:
7875:
7874:non-Euclidean
7872:
7868:
7865:
7863:
7860:
7858:
7857:
7853:
7852:
7850:
7847:
7846:
7844:
7840:
7836:
7833:
7831:
7828:
7827:
7826:
7822:
7818:
7815:
7814:
7813:
7809:
7805:
7802:
7800:
7797:
7795:
7792:
7790:
7787:
7785:
7782:
7780:
7777:
7776:
7774:
7770:
7769:
7767:
7762:
7756:
7751:Example
7748:
7740:
7735:
7734:
7733:
7730:
7728:
7725:
7721:
7718:
7716:
7713:
7711:
7708:
7706:
7703:
7702:
7701:
7698:
7696:
7693:
7691:
7688:
7686:
7683:
7679:
7676:
7674:
7671:
7670:
7669:
7666:
7662:
7659:
7657:
7654:
7652:
7649:
7647:
7644:
7643:
7642:
7639:
7637:
7634:
7630:
7627:
7625:
7622:
7620:
7617:
7616:
7615:
7612:
7608:
7605:
7603:
7600:
7598:
7595:
7593:
7590:
7588:
7585:
7583:
7580:
7579:
7578:
7575:
7573:
7570:
7568:
7565:
7563:
7560:
7556:
7553:
7551:
7548:
7546:
7543:
7541:
7538:
7537:
7536:
7533:
7531:
7528:
7526:
7523:
7521:
7518:
7514:
7511:
7509:
7508:by definition
7506:
7505:
7504:
7501:
7497:
7494:
7493:
7492:
7489:
7487:
7484:
7482:
7479:
7477:
7474:
7472:
7469:
7468:
7465:
7462:
7460:
7456:
7451:
7445:
7441:
7431:
7428:
7426:
7423:
7421:
7418:
7416:
7413:
7411:
7408:
7406:
7403:
7401:
7398:
7396:
7395:Kripke–Platek
7393:
7391:
7388:
7384:
7381:
7379:
7376:
7375:
7374:
7371:
7370:
7368:
7364:
7356:
7353:
7352:
7351:
7348:
7346:
7343:
7339:
7336:
7335:
7334:
7331:
7329:
7326:
7324:
7321:
7319:
7316:
7314:
7311:
7308:
7304:
7300:
7297:
7293:
7290:
7288:
7285:
7283:
7280:
7279:
7278:
7274:
7271:
7270:
7268:
7266:
7262:
7258:
7250:
7247:
7245:
7242:
7240:
7239:constructible
7237:
7236:
7235:
7232:
7230:
7227:
7225:
7222:
7220:
7217:
7215:
7212:
7210:
7207:
7205:
7202:
7200:
7197:
7195:
7192:
7190:
7187:
7185:
7182:
7180:
7177:
7175:
7172:
7171:
7169:
7167:
7162:
7154:
7151:
7149:
7146:
7144:
7141:
7139:
7136:
7134:
7131:
7129:
7126:
7125:
7123:
7119:
7116:
7114:
7111:
7110:
7109:
7106:
7104:
7101:
7099:
7096:
7094:
7091:
7089:
7085:
7081:
7079:
7076:
7072:
7069:
7068:
7067:
7064:
7063:
7060:
7057:
7055:
7051:
7041:
7038:
7036:
7033:
7031:
7028:
7026:
7023:
7021:
7018:
7016:
7013:
7009:
7006:
7005:
7004:
7001:
6997:
6992:
6991:
6990:
6987:
6986:
6984:
6982:
6978:
6970:
6967:
6965:
6962:
6960:
6957:
6956:
6955:
6952:
6950:
6947:
6945:
6942:
6940:
6937:
6935:
6932:
6930:
6927:
6925:
6922:
6921:
6919:
6917:
6916:Propositional
6913:
6907:
6904:
6902:
6899:
6897:
6894:
6892:
6889:
6887:
6884:
6882:
6879:
6875:
6872:
6871:
6870:
6867:
6865:
6862:
6860:
6857:
6855:
6852:
6850:
6847:
6845:
6844:Logical truth
6842:
6840:
6837:
6836:
6834:
6832:
6828:
6825:
6823:
6819:
6813:
6810:
6808:
6805:
6803:
6800:
6798:
6795:
6793:
6790:
6788:
6784:
6780:
6776:
6774:
6771:
6769:
6766:
6764:
6760:
6757:
6756:
6754:
6752:
6746:
6741:
6735:
6732:
6730:
6727:
6725:
6722:
6720:
6717:
6715:
6712:
6710:
6707:
6705:
6702:
6700:
6697:
6695:
6692:
6690:
6687:
6685:
6682:
6680:
6677:
6673:
6670:
6669:
6668:
6665:
6664:
6662:
6658:
6654:
6647:
6642:
6640:
6635:
6633:
6628:
6627:
6624:
6612:
6611:Ernst Zermelo
6609:
6607:
6604:
6602:
6599:
6597:
6596:Willard Quine
6594:
6592:
6589:
6587:
6584:
6582:
6579:
6577:
6574:
6572:
6569:
6567:
6564:
6562:
6559:
6557:
6554:
6553:
6551:
6549:
6548:Set theorists
6545:
6539:
6536:
6534:
6531:
6529:
6526:
6525:
6523:
6517:
6515:
6512:
6511:
6508:
6500:
6497:
6495:
6494:Kripke–Platek
6492:
6488:
6485:
6484:
6483:
6480:
6479:
6478:
6475:
6471:
6468:
6467:
6466:
6465:
6461:
6457:
6454:
6453:
6452:
6449:
6448:
6445:
6442:
6440:
6437:
6435:
6432:
6430:
6427:
6426:
6424:
6420:
6414:
6411:
6409:
6406:
6404:
6401:
6399:
6397:
6392:
6390:
6387:
6385:
6382:
6379:
6375:
6372:
6370:
6367:
6363:
6360:
6358:
6355:
6353:
6350:
6349:
6348:
6345:
6342:
6338:
6335:
6333:
6330:
6328:
6325:
6323:
6320:
6319:
6317:
6314:
6310:
6304:
6301:
6299:
6296:
6294:
6291:
6289:
6286:
6284:
6281:
6279:
6276:
6274:
6271:
6267:
6264:
6262:
6259:
6258:
6257:
6254:
6252:
6249:
6247:
6244:
6242:
6239:
6237:
6234:
6231:
6227:
6224:
6222:
6219:
6217:
6214:
6213:
6211:
6205:
6202:
6201:
6198:
6192:
6189:
6187:
6184:
6182:
6179:
6177:
6174:
6172:
6169:
6167:
6164:
6162:
6159:
6156:
6153:
6151:
6148:
6147:
6145:
6143:
6139:
6131:
6130:specification
6128:
6126:
6123:
6122:
6121:
6118:
6117:
6114:
6111:
6109:
6106:
6104:
6101:
6099:
6096:
6094:
6091:
6089:
6086:
6084:
6081:
6079:
6076:
6072:
6069:
6068:
6067:
6064:
6062:
6059:
6055:
6052:
6050:
6047:
6045:
6042:
6041:
6040:
6037:
6035:
6032:
6031:
6029:
6027:
6023:
6018:
6008:
6005:
6004:
6002:
5998:
5994:
5987:
5982:
5980:
5975:
5973:
5968:
5967:
5964:
5955:
5952:
5950:at Wiktionary
5949:
5948:
5942:
5938:
5937:
5927:
5925:0-521-67599-5
5921:
5917:
5913:
5908:
5904:
5902:0-486-63829-4
5898:
5894:
5890:
5885:
5881:
5879:0-387-90092-6
5875:
5870:
5869:
5863:
5859:
5855:
5853:0-691-02447-2
5849:
5845:
5840:
5839:
5833:
5829:
5828:
5808:
5804:
5797:
5789:
5783:
5779:
5778:
5770:
5763:
5762:
5757:
5752:
5745:(4): 481–512.
5744:
5741:(in German).
5740:
5736:
5729:
5721:
5715:
5711:
5710:
5702:
5694:
5688:
5684:
5683:
5675:
5667:
5661:
5657:
5656:
5648:
5640:
5634:
5630:
5629:
5621:
5614:
5610:
5605:
5597:
5591:
5588:. CRC Press.
5587:
5586:
5578:
5570:
5564:
5560:
5559:
5551:
5544:
5540:
5535:
5528:
5524:
5519:
5511:
5507:
5502:
5497:
5493:
5489:
5484:
5479:
5475:
5471:
5467:
5463:
5459:
5452:
5444:
5438:
5430:
5426:
5422:
5418:
5417:
5412:
5405:
5397:
5391:
5387:
5386:
5378:
5370:
5364:
5360:
5359:
5351:
5343:
5337:
5333:
5332:
5324:
5316:
5310:
5306:
5305:
5297:
5289:
5283:
5279:
5278:
5270:
5262:
5256:
5252:
5251:
5243:
5235:
5229:
5225:
5224:
5216:
5214:
5212:
5210:
5208:
5206:
5198:
5194:
5189:
5187:
5178:
5172:
5168:
5167:
5159:
5151:
5145:
5141:
5140:
5132:
5130:
5122:
5118:
5113:
5105:
5098:
5090:
5083:
5075:
5069:
5065:
5064:
5056:
5049:
5045:
5040:
5038:
5023:
5019:
5018:"Set Symbols"
5013:
5005:
4999:
4995:
4994:
4986:
4984:
4976:
4972:
4967:
4965:
4956:
4950:
4946:
4945:
4937:
4923:
4919:
4912:
4904:
4898:
4894:
4893:
4885:
4883:
4881:
4879:
4877:
4868:
4862:
4858:
4857:
4849:
4847:
4845:
4837:
4833:
4828:
4820:
4814:
4810:
4809:
4801:
4793:
4787:
4783:
4782:
4774:
4766:
4760:
4756:
4755:
4747:
4739:
4733:
4729:
4728:
4720:
4713:
4707:
4699:
4693:
4689:
4688:
4680:
4672:
4666:
4662:
4661:
4653:
4645:
4639:
4635:
4634:
4626:
4618:
4612:
4608:
4607:
4599:
4585:
4581:
4575:
4573:
4571:
4562:
4556:
4552:
4551:
4543:
4535:
4533:9780716704577
4529:
4525:
4520:
4519:
4510:
4508:
4500:
4496:
4491:
4489:
4487:
4478:
4472:
4468:
4467:
4459:
4451:
4445:
4441:
4440:
4432:
4424:
4418:
4414:
4413:
4405:
4397:
4395:
4391:
4385:
4378:
4376:
4371:
4360:
4357:
4355:
4352:
4350:
4347:
4345:
4342:
4340:
4337:
4335:
4332:
4330:
4327:
4325:
4322:
4321:
4314:
4312:
4308:
4304:
4300:
4296:
4292:
4282:
4280:
4276:
4275:
4270:
4263:
4260:
4257:
4253:
4250:is a set and
4249:
4245:
4241:
4237:
4234:
4233:
4232:
4230:
4225:
4215:
4211:
4199:
4197:
4192:
4188:
4184:
4180:
4176:
4172:
4168:
4164:
4158:
4147:
4145:
4141:
4137:
4131:
4129:
4125:
4121:
4116:
4112:
4110:
4106:
4099:
4095:
4091:
4086:
4082:
4080:
4079:
4074:
4070:
4064:
4054:
4051:
4034:
4030:
4026:
4020:
4016:
4012:
4009:
4006:
4001:
3997:
3993:
3988:
3984:
3980:
3975:
3971:
3966:
3962:
3956:
3953:
3950:
3945:
3941:
3938:
3934:
3929:
3925:
3917:
3914:
3910:
3901:
3896:
3890:
3886:
3882:
3877:
3874:
3871:
3867:
3862:
3858:
3855:
3851:
3845:
3841:
3837:
3832:
3828:
3823:
3819:
3815:
3809:
3805:
3801:
3796:
3792:
3787:
3782:
3778:
3774:
3765:
3760:
3755:
3751:
3747:
3743:
3740:
3736:
3731:
3727:
3723:
3719:
3715:
3710:
3706:
3702:
3698:
3694:
3689:
3685:
3681:
3676:
3670:
3666:
3660:
3656:
3652:
3649:
3646:
3641:
3637:
3633:
3628:
3624:
3620:
3615:
3611:
3606:
3592:
3579:
3571:
3568:
3565:
3557:
3549:
3541:
3533:
3525:
3517:
3514:
3511:
3492:
3487:
3477:
3474:
3470:
3466:
3461:
3456:
3449:
3442:
3436:
3430:
3426:
3420:
3413:
3409:
3404:of all pairs
3402:
3396:
3389:
3385:
3378:
3372:
3365:
3359:
3353:
3348:
3342:
3336:
3332:
3326:
3322:
3317:
3313:
3309:
3304:
3302:
3298:
3294:
3290:
3286:
3282:
3272:
3270:
3265:
3246:
3242:
3236:
3230:
3215:
3212:
3208:
3204:
3200:
3193:
3183:
3179:
3175:
3171:
3167:
3163:
3159:
3155:
3150:
3144:
3138:
3132:
3126:
3125:
3124:
3100:
3096:
3091:
3090:ordered pairs
3086:
3082:
3078:
3074:
3056:
3050:
3044:
3038:
3032:
3026:
3023:
3015:
2998:
2994:
2990:
2986:
2982:
2978:
2974:
2970:
2961:
2956:
2943:
2922:
2918:
2912:
2908:
2904:
2900:
2897:
2883:
2879:
2874:
2870:
2865:
2861:
2857:
2853:
2850:
2846:
2841:
2837:
2833:
2829:
2828:
2827:
2813:
2809:
2805:
2799:
2791:
2787:
2783:
2777:
2769:
2765:
2752:
2746:
2738:
2734:
2728:
2722:
2717:
2711:
2704:
2685:
2682:
2679:
2676:
2673:
2670:
2667:
2661:
2652:
2641:
2635:
2626:
2614:
2610:
2609:
2608:
2595:
2594:universal set
2587:
2583:
2579:
2573:
2568:
2558:
2556:
2552:
2548:
2544:
2540:
2536:
2532:
2529:
2523:
2513:
2509:
2505:
2499:
2494:
2488:
2484:
2477:
2473:
2467:
2460:
2456:
2451:
2447:
2442:
2436:
2420:
2416:
2410:
2404:
2398:
2390:
2386:
2380:
2366:
2360:
2354:
2349:
2344:
2338:
2331:
2321:
2319:
2315:
2311:
2307:
2303:
2297:
2287:
2285:
2282:
2278:
2274:
2270:
2269:straight line
2265:
2263:
2262:
2213:
2212:
2207:
2206:
2179:
2174:
2172:
2168:
2142:
2141:
2130:
2127:
2124:
2104:
2098:
2090:
2082:
2075:
2065:
2063:
2059:
2055:
2051:
2027:
2024:
2013:
2010:
2003:
1995:
1992:
1991:
1990:
1984:
1976:
1957:) from a set
1956:
1955:
1950:
1949:
1938:
1922:
1906:
1899:
1895:
1887:
1883:
1879:
1875:
1871:
1867:
1862:
1815:
1812:
1810:
1804:
1798:
1780:
1770:
1766:
1762:
1715:
1711:
1688:
1653:
1649:
1646:
1643:
1640:
1632:
1629:
1626:
1623:
1620:
1615:
1612:
1606:
1602:
1589:
1585:
1581:
1534:
1516:
1513:
1510:
1507:
1504:
1501:
1498:
1495:
1492:
1489:
1486:
1483:
1480:
1477:
1474:
1471:
1468:
1465:
1462:
1459:
1456:
1450:
1437:
1390:
1368:
1365:
1362:
1359:
1356:
1353:
1350:
1347:
1344:
1341:
1338:
1332:
1319:
1272:
1271:
1270:
1246:
1219:
1193:
1168:
1143:
1118:
1093:
1088:
1079:
1037:
1032:
1014:
1013:Euler diagram
1006:
1002:
997:
993:
989:
976:
972:
968:
964:
959:
958:
957:
948:
942:
939:
938:
937:
934:
932:
928:
923:
919:
913:
909:
904:
900:
895:
891:
885:
881:
875:
873:
869:
865:
861:
856:
852:
846:
842:
837:
833:
832:proper subset
829:
825:
821:
817:
813:
808:
806:
802:
797:
793:
787:
783:
778:
774:
770:
766:
762:
758:
753:
749:
743:
739:
734:
730:
726:
722:
718:
712:
702:
700:
696:
692:
688:
684:
680:
679:singleton set
674:
664:
630:
626:
620:
613:The empty set
607:
600:
591:
584:
578:
574:
570:
566:
562:
555:
548:
542:
540:
536:
531:
527:
522:
518:
514:
510:
506:
502:
497:
493:
481:is a set and
474:
461:
457:
456:
451:
448:
447:
442:
438:
437:
432:
429:
425:
424:
419:
418:
417:
415:
406:
404:
388:
383:
370:
364:
361:
358:
355:
352:
344:
341:
338:
332:
329:
321:
313:
303:
301:
294:
283:
274:
258:
256:
243:
241:
236:
220:
214:
209:
199:
195:
191:
187:
186:Ernst Zermelo
178:
170:
165:
163:
159:
155:
146:
144:
140:
124:
120:
110:
108:
104:
100:
95:
93:
89:
84:
82:
78:
74:
70:
66:
62:
61:
56:
52:
43:
37:
36:Euler diagram
32:
23:
19:
8614:Topos theory
8497:
8465:Model theory
8428:Peano axioms
8361:
8159:Ultraproduct
8006:Model theory
7971:Independence
7907:Formal proof
7899:Proof theory
7882:
7855:
7812:real numbers
7784:second-order
7695:Substitution
7572:Metalanguage
7513:conservative
7486:Axiom schema
7430:Constructive
7400:Morse–Kelley
7366:Set theories
7345:Aleph number
7338:inaccessible
7244:Grothendieck
7165:
7128:intersection
7015:Higher-order
7003:Second-order
6949:Truth tables
6906:Venn diagram
6689:Formal proof
6561:Georg Cantor
6556:Paul Bernays
6487:Morse–Kelley
6462:
6395:
6394:Subset
6341:hereditarily
6312:
6303:Venn diagram
6261:ordered pair
6176:Intersection
6120:Axiom schema
6006:
5946:
5911:
5888:
5867:
5837:
5811:. Retrieved
5806:
5796:
5776:
5769:
5759:
5751:
5742:
5738:
5728:
5708:
5701:
5681:
5674:
5654:
5647:
5627:
5620:
5604:
5584:
5577:
5557:
5550:
5534:
5518:
5465:
5461:
5451:
5437:cite journal
5420:
5414:
5404:
5384:
5377:
5357:
5350:
5330:
5323:
5303:
5296:
5276:
5269:
5249:
5242:
5222:
5165:
5158:
5138:
5112:
5103:
5097:
5088:
5082:
5062:
5055:
5025:. Retrieved
5021:
5012:
4992:
4943:
4936:
4925:. Retrieved
4921:
4911:
4891:
4855:
4827:
4807:
4800:
4780:
4773:
4753:
4746:
4726:
4719:
4706:
4686:
4679:
4659:
4652:
4632:
4625:
4605:
4598:
4587:. Retrieved
4583:
4549:
4542:
4517:
4465:
4458:
4438:
4431:
4411:
4404:
4393:
4389:
4387:
4383:
4288:
4279:well-defined
4278:
4274:well-defined
4272:
4267:
4255:
4251:
4247:
4243:
4239:
4226:
4206:{4, 6, 4, 2}
4194:
4190:
4186:
4182:
4178:
4174:
4170:
4162:
4160:
4143:
4139:
4135:
4133:
4118:
4114:
4108:
4105:Georg Cantor
4103:
4097:
4093:
4089:
4076:
4075:in his work
4068:
4066:
4052:
3593:
3497:
3472:
3468:
3464:
3454:
3452:is found in
3447:
3440:
3434:
3428:
3424:
3418:
3411:
3407:
3400:
3394:
3387:
3383:
3376:
3370:
3363:
3357:
3351:
3340:
3334:
3330:
3324:
3315:
3305:
3278:
3275:Applications
3269:Boolean ring
3266:
3244:
3240:
3237:
3228:
3210:
3206:
3202:
3198:
3195:
3194:states that
3189:
3181:
3177:
3173:
3169:
3165:
3161:
3157:
3153:
3122:
3098:
3094:
3084:
3080:
2996:
2992:
2980:
2976:
2972:
2968:
2959:
2954:
2920:
2916:
2910:
2906:
2895:
2881:
2877:
2872:
2868:
2863:
2859:
2856:intersection
2848:
2844:
2839:
2835:
2817:
2811:
2807:
2803:
2789:
2785:
2781:
2767:
2763:
2751:intersection
2750:
2736:
2732:
2726:
2720:
2715:
2702:
2639:
2633:
2624:
2591:
2585:
2581:
2577:
2554:
2542:
2538:
2534:
2530:
2525:
2507:
2503:
2497:
2486:
2482:
2475:
2471:
2465:
2458:
2454:
2440:
2437:
2418:
2414:
2408:
2402:
2399:
2388:
2384:
2378:
2364:
2358:
2352:
2342:
2336:
2333:
2299:
2266:
2259:
2209:
2203:
2178:real numbers
2175:
2170:
2138:
2136:
2128:
2125:
2102:
2096:
2088:
2080:
2077:
2061:
2057:
2053:
2049:
2047:
2004:elements of
2001:
1982:
1952:
1946:
1944:
1907:
1904:
1897:
1893:
1885:
1881:
1877:
1873:
1869:
1865:
1808:
1761:real numbers
1709:
1686:
1220:
1217:
1167:real numbers
1074:and outside
1036:Venn diagram
1033:
1010:
1004:
1000:
995:
991:
974:
970:
962:
955:
935:
930:
926:
921:
917:
911:
907:
902:
898:
893:
889:
883:
879:
876:
871:
867:
863:
859:
854:
850:
848:. Likewise,
844:
840:
835:
831:
830:is called a
827:
823:
819:
815:
811:
809:
804:
800:
795:
791:
785:
781:
776:
772:
769:relationship
764:
761:B includes A
760:
757:B contains A
756:
751:
747:
741:
737:
732:
728:
724:
720:
716:
714:
698:
694:
690:
686:
682:
678:
676:
655:, { },
628:
624:
622:
605:
598:
589:
582:
572:
568:
564:
560:
553:
546:
543:
538:
534:
529:
525:
520:
516:
512:
508:
504:
500:
495:
491:
476:
459:
453:
444:
440:
434:
427:
421:
412:
387:vertical bar
384:
322:
315:
299:
297:
272:
252:
235:infinite set
232:
210:
206:{4, 6, 4, 2}
183:
176:
168:
157:
153:
152:
142:
138:
116:
96:
85:
73:infinite set
64:
58:
54:
48:
8676:Mathematics
8553:Type theory
8533:Determinacy
8475:Modal logic
8269:Type theory
8217:undecidable
8149:Truth value
8036:equivalence
7715:non-logical
7328:Enumeration
7318:Isomorphism
7265:cardinality
7249:Von Neumann
7214:Ultrafilter
7179:Uncountable
7113:equivalence
7030:Quantifiers
7020:Fixed-point
6989:First-order
6869:Consistency
6854:Proposition
6831:Traditional
6802:Lindström's
6792:Compactness
6734:Type theory
6679:Cardinality
6586:Thomas Jech
6429:Alternative
6408:Uncountable
6362:Ultrafilter
6221:Cardinality
6125:replacement
6066:Determinacy
5957:(in German)
5609:Halmos 1960
5539:Halmos 1960
5523:Halmos 1960
5193:Halmos 1960
5117:Halmos 1960
5044:Halmos 1960
4971:Halmos 1960
4832:Halmos 1960
4495:Halmos 1960
3361:is the set
3299:, are sets
2450:uncountable
2310:independent
2258:are called
2202:are called
2074:Cardinality
2068:Cardinality
1985:element of
1983:exactly one
777:containment
729:subset of B
719:is also in
503:belongs to
446:enumerative
293:French flag
198:permutation
107:foundations
51:mathematics
8714:Set theory
8698:Categories
8688:Arithmetic
8629:∞-groupoid
8490:Set theory
8080:elementary
7773:arithmetic
7641:Quantifier
7619:functional
7491:Expression
7209:Transitive
7153:identities
7138:complement
7071:hereditary
7054:Set theory
6581:Kurt Gödel
6566:Paul Cohen
6403:Transitive
6171:Identities
6155:Complement
6142:Operations
6103:Regularity
6071:projective
6034:Adjunction
5993:Set theory
5842:. Boston:
5825:References
5813:2024-06-03
5611:, p.
5541:, p.
5525:, p.
5195:, p.
5139:Set Theory
5046:, p.
5027:2020-08-19
4973:, p.
4927:2020-08-19
4834:, p.
4589:2020-08-19
4497:, p.
4399:Here: p.85
4242:", i.e., {
4146:the class.
4063:Set theory
3287:, such as
3281:structures
3123:Examples:
3103:such that
2761:, denoted
2730:, denoted
2627:belong to
2623:) that do
2613:complement
2578:complement
2516:Partitions
2324:Power sets
2306:Paul Cohen
2121:| = 3
2113:| = 3
2084:, denoted
2054:surjection
2012:surjective
1765:irrational
936:Examples:
735:, written
537:is not in
467:Membership
414:Philosophy
397:such that
139:collection
125:, such as
99:set theory
22:Set theory
8351:Supertask
8254:Recursion
8212:decidable
8046:saturated
8024:of models
7947:deductive
7942:axiomatic
7862:Hilbert's
7849:Euclidean
7830:canonical
7753:axiomatic
7685:Signature
7614:Predicate
7503:Extension
7425:Ackermann
7350:Operation
7229:Universal
7219:Recursive
7194:Singleton
7189:Inhabited
7174:Countable
7164:Types of
7148:power set
7118:partition
7035:Predicate
6981:Predicate
6896:Syllogism
6886:Soundness
6859:Inference
6849:Tautology
6751:paradoxes
6514:Paradoxes
6434:Axiomatic
6413:Universal
6389:Singleton
6384:Recursive
6327:Countable
6322:Amorphous
6181:Power set
6098:Power set
6049:dependent
6044:countable
4354:Mereology
4349:Fuzzy set
4229:paradoxes
4222:(6, 4, 2)
4218:(2, 4, 6)
4210:multisets
4202:{2, 4, 6}
4098:aggregate
4013:∩
4010:…
4007:∩
3994:∩
3981:∩
3954:−
3939:−
3918:…
3883:∩
3875:−
3859:…
3838:∩
3802:∩
3779:−
3744:…
3653:∪
3650:…
3647:∪
3634:∪
3621:∪
3569:∩
3558:−
3515:∪
3308:relations
3054:∖
3045:∪
3036:∖
3020:Δ
2683:∉
2671:∈
2493:bijection
2446:countable
2429:{1, 2, 3}
2370:{1, 2, 3}
2348:empty set
2330:Power set
2316:with the
2058:bijection
2050:injection
2026:bijective
2002:different
1994:injective
1961:to a set
1941:Functions
1647:≠
1633:∈
1621:∣
1478:−
1469:−
866:contains
773:inclusion
689:}, where
643:∅
625:empty set
619:Empty set
362:≤
356:≤
342:∣
202:{2, 4, 6}
81:singleton
77:empty set
8609:Category
8336:Logicism
8329:timeline
8305:Concrete
8164:Validity
8134:T-schema
8127:Kripke's
8122:Tarski's
8117:semantic
8107:Strength
8056:submodel
8051:spectrum
8019:function
7867:Tarski's
7856:Elements
7843:geometry
7799:Robinson
7720:variable
7705:function
7678:spectrum
7668:Sentence
7624:variable
7567:Language
7520:Relation
7481:Automata
7471:Alphabet
7455:language
7309:-jection
7287:codomain
7273:Function
7234:Universe
7204:Infinite
7108:Relation
6891:Validity
6881:Argument
6779:theorem,
6518:Problems
6422:Theories
6398:Superset
6374:Infinite
6203:Concepts
6083:Infinity
6000:Overview
5864:(1960).
5834:(1979).
5510:16578557
4317:See also
4140:ensemble
3460:function
3416:, where
3321:codomain
3231:outside
2928:but not
2896:disjoint
2851:or both.
2452:), then
2140:infinite
1975:relation
1948:function
1799:such as
1771:such as
1436:integers
1117:integers
897:to mean
683:unit set
629:null set
604:green ∉
460:examples
282:integers
255:integers
213:ellipsis
190:sequence
60:elements
8662:Portals
8278:Related
8075:Diagram
7973: (
7952:Hilbert
7937:Systems
7932:Theorem
7810:of the
7755:systems
7535:Formula
7530:Grammar
7446: (
7390:General
7103:Forcing
7088:Element
7008:Monadic
6783:paradox
6724:Theorem
6660:General
6456:General
6451:Zermelo
6357:subbase
6339: (
6278:Forcing
6256:Element
6228: (
6206:Methods
6093:Pairing
5758:(1903)
5470:Bibcode
4198:of sets
4163:members
4057:History
3368:; thus
2952:. With
2886:, then
2273:segment
2123:, too.
2107:, then
1954:mapping
1706:
1694:
1683:
1671:
1669:−
862:, i.e.
826:, then
723:, then
705:Subsets
507:", or "
426:uses a
196:, or a
65:members
8041:finite
7804:Skolem
7757:
7732:Theory
7700:Symbol
7690:String
7673:atomic
7550:ground
7545:closed
7540:atomic
7496:ground
7459:syntax
7355:binary
7282:domain
7199:Finite
6964:finite
6822:Logics
6781:
6729:Theory
6347:Filter
6337:Finite
6273:Family
6216:Almost
6054:global
6039:Choice
6026:Axioms
5922:
5899:
5876:
5850:
5784:
5716:
5689:
5662:
5635:
5592:
5565:
5508:
5501:221287
5498:
5490:
5392:
5365:
5338:
5311:
5284:
5257:
5230:
5173:
5146:
5121:Sect.2
5070:
5000:
4951:
4899:
4863:
4815:
4788:
4761:
4734:
4694:
4667:
4640:
4613:
4557:
4530:
4473:
4446:
4419:
4291:axioms
4214:Tuples
3374:beats
3312:domain
3301:closed
3293:fields
3289:groups
3180:,2), (
3176:,1), (
3172:,3), (
3168:,2), (
3164:,1), (
3075:their
2987:their
2875:. If
2854:their
2830:their
2346:. The
2117:|
2109:|
2092:|
2086:|
1584:proper
1247:(e.g.
1062:, and
858:means
818:, but
767:. The
711:Subset
558:, and
511:is in
154:Roster
143:family
123:italic
8031:Model
7779:Peano
7636:Proof
7476:Arity
7405:Naive
7292:image
7224:Fuzzy
7184:Empty
7133:union
7078:Class
6719:Model
6709:Lemma
6667:Axiom
6439:Naive
6369:Fuzzy
6332:Empty
6315:types
6266:tuple
6236:Class
6230:large
6191:Union
6108:Union
5492:71858
5488:JSTOR
4918:"Set"
4366:Notes
4167:equal
4136:Menge
4124:class
4100:here.
4090:Menge
4069:Menge
3450:,...)
3319:to a
3297:rings
3205:)′ =
2832:union
2716:union
2551:union
2501:onto
2495:from
2433:2 = 8
2277:plane
1892:1 + 2
1243:) or
763:, or
745:, or
731:, or
659:, or
597:20 ∉
593:; and
588:12 ∈
575:≤ 19}
403:colon
194:tuple
88:equal
8154:Type
7957:list
7761:list
7738:list
7727:Term
7661:rank
7555:open
7449:list
7261:Maps
7166:sets
7025:Free
6995:list
6745:list
6672:list
6352:base
5920:ISBN
5897:ISBN
5874:ISBN
5848:ISBN
5782:ISBN
5714:ISBN
5687:ISBN
5660:ISBN
5633:ISBN
5590:ISBN
5563:ISBN
5506:PMID
5443:link
5421:1878
5390:ISBN
5363:ISBN
5336:ISBN
5309:ISBN
5282:ISBN
5255:ISBN
5228:ISBN
5171:ISBN
5144:ISBN
5068:ISBN
4998:ISBN
4949:ISBN
4897:ISBN
4861:ISBN
4813:ISBN
4786:ISBN
4759:ISBN
4732:ISBN
4692:ISBN
4665:ISBN
4638:ISBN
4611:ISBN
4555:ISBN
4528:ISBN
4471:ISBN
4444:ISBN
4417:ISBN
4220:and
4204:and
4173:and
4130:):
4092:for
3471:) =
3347:game
3295:and
3260:and
3252:and
3220:and
3209:′ ∩
3111:and
2901:the
2890:and
2871:and
2822:and
2810:and
2802:The
2780:The
2757:and
2749:The
2724:and
2714:The
2611:The
2576:The
2423:has
2406:has
2350:and
1951:(or
1805:and
1692:5 =
1690:and
1586:and
1090:The
1070:and
961:∅ ⊆
915:and
887:and
789:and
627:(or
623:The
602:and
586:and
581:4 ∈
428:rule
287:Let
276:Let
204:and
192:, a
83:.
53:, a
8498:Set
7841:of
7823:of
7771:of
7303:Sur
7277:Map
7084:Ur-
7066:Set
6313:Set
5947:set
5496:PMC
5478:doi
5425:doi
4094:set
3438:in
3355:to
3283:in
3235:).
3229:and
3184:,3)
3004:or
2966:),
2948:in
2944:of
2884:= ∅
2847:or
2826:,
2806:of
2753:of
2718:of
2637:or
2625:not
2615:of
2584:in
2580:of
2541:in
2512:.)
2448:or
2438:If
2400:If
2393:or
2372:is
2173:.
2165:of
2060:or
2000:to
1981:to
1868:= {
1837:or
1737:or
1590:):
1556:or
1412:or
1294:or
1011:An
834:of
810:If
775:or
563:= {
541:".
477:If
452:An
433:An
420:An
257:is
242:is
233:An
217:...
156:or
141:or
121:in
63:or
55:set
49:In
8700::
8227:NP
7851::
7845::
7775::
7452:),
7307:Bi
7299:In
5918:.
5914:.
5895:.
5846:.
5805:.
5743:46
5737:.
5613:28
5543:20
5527:19
5504:.
5494:.
5486:.
5476:.
5466:50
5464:.
5460:.
5439:}}
5435:{{
5419:.
5413:.
5204:^
5185:^
5128:^
5119:,
5036:^
5020:.
4982:^
4963:^
4920:.
4875:^
4843:^
4582:.
4569:^
4526:.
4506:^
4485:^
4374:^
4293:.
4281:.
4254:∉
4246:|
4144:is
4138:,
4111::
3476:.
3427:×
3410:,
3333:×
3291:,
3243:×
3201:∪
3186:}.
3156:,
3148:}.
3142:}.
3136:}.
3130:}.
3083:×
2995:Δ
2979:∩
2975:=
2971:\
2919:−
2909:\
2880:∩
2862:∩
2838:∪
2788:\
2766:∩
2735:∪
2607:.
2557:.
2526:A
2397:.
2286:.
2264:.
2064:.
1945:A
1896:∈
1884:∈
1880:,
1876:|
1874:bi
1872:+
1863::
1813:);
1708:∈
1685:∈
1388:);
1320::
1058:,
1034:A
973:⊆
933:.
920:⊃
910:⊂
892:⊃
882:⊂
874:.
853:⊋
843:⊊
807:.
803:=
794:⊆
784:⊆
759:,
750:⊇
740:⊆
677:A
663:.
635:,
577:,
567:|
551:,
528:∉
494:∈
365:19
302:.
133:,
129:,
8664::
8403:e
8396:t
8389:v
8307:/
8222:P
7977:)
7763:)
7759:(
7656:∀
7651:!
7646:∃
7607:=
7602:↔
7597:→
7592:∧
7587:∨
7582:¬
7305:/
7301:/
7275:/
7086:)
7082:(
6969:∞
6959:3
6747:)
6645:e
6638:t
6631:v
6396:·
6380:)
6376:(
6343:)
6232:)
5985:e
5978:t
5971:v
5928:.
5905:.
5882:.
5856:.
5816:.
5790:.
5722:.
5695:.
5668:.
5641:.
5615:.
5598:.
5571:.
5545:.
5529:.
5512:.
5480::
5472::
5445:)
5427::
5398:.
5371:.
5344:.
5317:.
5290:.
5263:.
5236:.
5199:.
5197:3
5179:.
5152:.
5123:.
5076:.
5050:.
5048:8
5030:.
5006:.
4977:.
4975:2
4957:.
4930:.
4905:.
4869:.
4838:.
4836:4
4821:.
4794:.
4767:.
4740:.
4700:.
4673:.
4646:.
4619:.
4592:.
4563:.
4536:.
4524:5
4501:.
4499:1
4479:.
4452:.
4425:.
4394:m
4390:M
4256:x
4252:x
4248:x
4244:x
4191:A
4187:B
4183:B
4179:A
4175:B
4171:A
4081:.
4035:.
4031:)
4027:|
4021:n
4017:A
4002:3
3998:A
3989:2
3985:A
3976:1
3972:A
3967:|
3963:(
3957:1
3951:n
3946:)
3942:1
3935:(
3930:+
3915:+
3902:)
3897:|
3891:n
3887:A
3878:1
3872:n
3868:A
3863:|
3856:+
3852:|
3846:3
3842:A
3833:1
3829:A
3824:|
3820:+
3816:|
3810:2
3806:A
3797:1
3793:A
3788:|
3783:(
3766:)
3761:|
3756:n
3752:A
3748:|
3741:+
3737:|
3732:3
3728:A
3724:|
3720:+
3716:|
3711:2
3707:A
3703:|
3699:+
3695:|
3690:1
3686:A
3682:|
3677:(
3671:=
3667:|
3661:n
3657:A
3642:3
3638:A
3629:2
3625:A
3616:1
3612:A
3607:|
3580:.
3576:|
3572:B
3566:A
3562:|
3554:|
3550:B
3546:|
3542:+
3538:|
3534:A
3530:|
3526:=
3522:|
3518:B
3512:A
3508:|
3473:x
3469:x
3467:(
3465:F
3455:F
3448:x
3446:(
3441:R
3435:x
3429:R
3425:R
3419:x
3414:)
3412:x
3408:x
3406:(
3401:F
3395:B
3390:)
3388:y
3386:,
3384:x
3382:(
3377:y
3371:x
3364:B
3358:S
3352:S
3341:S
3335:B
3331:A
3325:B
3316:A
3262:B
3258:A
3254:B
3250:A
3245:B
3241:A
3233:B
3226:A
3222:B
3218:A
3213:′
3211:B
3207:A
3203:B
3199:A
3197:(
3182:b
3178:b
3174:b
3170:a
3166:a
3162:a
3158:b
3154:a
3152:{
3119:.
3117:B
3113:b
3109:A
3105:a
3101:)
3099:b
3097:,
3095:a
3093:(
3085:B
3081:A
3072:.
3060:)
3057:A
3051:B
3048:(
3042:)
3039:B
3033:A
3030:(
3027:=
3024:B
3016:A
3006:B
3002:A
2997:B
2993:A
2984:.
2981:B
2977:A
2973:B
2969:A
2964:U
2960:B
2955:B
2950:A
2946:B
2938:A
2934:B
2930:B
2926:A
2921:B
2917:A
2911:B
2907:A
2898:.
2892:B
2888:A
2882:B
2878:A
2873:B
2869:A
2864:B
2860:A
2849:B
2845:A
2840:B
2836:A
2824:B
2820:A
2812:B
2808:A
2790:B
2786:A
2768:B
2764:A
2759:B
2755:A
2737:B
2733:A
2727:B
2721:A
2689:}
2686:A
2680:a
2677::
2674:U
2668:a
2665:{
2662:=
2657:c
2653:A
2642:′
2640:A
2634:A
2629:A
2621:U
2617:A
2605:U
2601:A
2597:U
2586:U
2582:A
2555:S
2543:S
2539:x
2535:S
2531:S
2510:)
2508:S
2506:(
2504:P
2498:S
2489:)
2487:S
2485:(
2483:P
2478:)
2476:S
2474:(
2472:P
2466:S
2461:)
2459:S
2457:(
2455:P
2441:S
2425:2
2421:)
2419:S
2417:(
2415:P
2409:n
2403:S
2395:2
2391:)
2389:S
2387:(
2385:P
2379:S
2365:S
2359:S
2353:S
2343:S
2337:S
2245:N
2223:N
2189:N
2152:N
2111:B
2103:B
2097:S
2089:S
2081:S
2042:A
2038:B
2034:B
2030:A
2020:A
2016:B
2008:,
2006:B
1998:A
1987:B
1979:A
1971:B
1967:A
1963:B
1959:A
1923:+
1918:Q
1901:.
1898:C
1894:i
1888:}
1886:R
1882:b
1878:a
1870:a
1866:C
1846:C
1824:C
1809:e
1802:π
1781:2
1746:R
1724:R
1713:;
1710:Q
1703:1
1700:/
1697:5
1687:Q
1680:4
1677:/
1674:7
1654:}
1650:0
1644:b
1641:,
1637:Z
1630:b
1627:,
1624:a
1616:b
1613:a
1607:{
1603:=
1599:Q
1565:Q
1543:Q
1532:;
1520:}
1517:.
1514:.
1511:.
1508:,
1505:3
1502:,
1499:2
1496:,
1493:1
1490:,
1487:0
1484:,
1481:1
1475:,
1472:2
1466:,
1463:.
1460:.
1457:.
1454:{
1451:=
1447:Z
1421:Z
1399:Z
1386:0
1372:}
1369:.
1366:.
1363:.
1360:,
1357:3
1354:,
1351:2
1348:,
1345:1
1342:,
1339:0
1336:{
1333:=
1329:N
1303:N
1281:N
1256:Z
1230:Z
1202:C
1177:R
1152:Q
1127:Z
1102:N
1076:B
1072:C
1068:A
1064:C
1060:B
1056:A
1052:n
1048:2
1044:n
1040:n
1029:B
1025:A
1021:B
1017:A
1007:.
1005:A
1001:B
998:.
996:B
992:A
978:.
975:A
971:A
966:.
963:A
952:.
946:.
931:B
927:A
922:A
918:B
912:B
908:A
903:B
899:A
894:A
890:B
884:B
880:A
872:A
868:A
864:B
855:A
851:B
845:B
841:A
836:B
828:A
824:B
820:A
816:B
812:A
805:B
801:A
796:A
792:B
786:B
782:A
752:A
748:B
742:B
738:A
725:A
721:B
717:A
699:x
695:x
691:x
687:x
661:ϕ
657:ϕ
633:∅
609:.
606:B
599:F
590:F
583:A
573:n
569:n
565:n
561:F
554:B
547:A
539:B
535:y
530:B
526:y
521:B
517:y
513:B
509:x
505:B
501:x
496:B
492:x
487:B
483:x
479:B
449:.
399:n
395:n
391:F
371:.
368:}
359:n
353:0
345:n
339:n
336:{
333:=
330:F
318:F
295:.
289:B
284:.
278:A
264:.
249:,
225:.
215:'
181:.
177:B
169:A
135:C
131:B
127:A
24:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.