1732:
find any current standard textbook on set theory that identifies set theory as a branch of logic? Jech, Kunen, and
Kanamori don't, off the top of my head. 2) I doubt whether an average working set theorist, if there is such a thing, would accept the identification. 3) The most common attitude toward logic in the standard textbooks, afaik, is that one simply posits the first-order predicate calculus and moves on. There are more sophisticated interactions between the two later, of course, but precisely as interactions, I don't think they suffice to locate set theory *within* logic. 4) In philosophy, there's a standard problem, associated with Quine, that has given rise to much debate, about the status of second-order logic. The argument is that, because second-order logic incorporates a fair amount of set theory, it's best not thought of a logic at all. This would seem to indicate that logicians, and not only set theorists, would have doubts about the identification, for their own reasons.
1247:
to recognize the result as a set. (It would be arbitrary not to, and diagonalization is even constructively acceptable.) On the other hand, if you provided a definition that would seem sufficient to capture all sets at once, such as Frege's Basic Law V, it'll be inconsistent. If we were to explain why a definition of 'set' would have to be either incomplete or inconsistent, it would require adding some explanation (maybe a lot). But since it will be transparent to those here, I'm offering it as a contribution to the discussion. In short: Not only did Cantor not offer a formal definition; Cantor *could not* have done so, nor anyone else.
792:). The definition can be corrected as follows: "The rank of a pure set X is defined to be the least upper bound of all successors of ranks of members of X." I actually think that the expression "one more than" is more comprehensible to the general audience than the expression "successor", which I chose to use. However, I couldn't think of a grammatically acceptable way of expressing the corrected definition in natural language while using "one more than" rather than "successor". This is why I don't immediately correct the article, but first wait for suggestions for a better wording.
319:
309:
288:
31:
260:
398:
553:"Per talk" meant that the editor who reverted the original changes did not respond to my explanations. Typically this means that he accepted them. If you feel the changes are inappropriate, feel free to revert. I do object to calling ZFC "canonical". This does not conform to the use of the term in mathematics. It may be "standard" and "common" but not canonical. Can you source the claim that ZFC is described as "canonical"?
89:
64:
568:
with ZFC, and are not of much interest in their own right. NF set theory is almost unknown (beyond its existence) except to those who study it. I find that enough to justify the word choice. I also noticed that
Kanamori literally calls ZFC "canonical" in one of his intros in Zermelo's collected works, but I don't think it's really important whether anyone has literally called it "canonical".
22:
162:
135:
1656:
1621:
1704:
172:
1731:
Sorry to jump on the first sentence. It's tendentious to say that set theory is a branch of mathematical logic, though it is often grouped with mathematical logic for practical purposes, and because both can be thought of as "foundational" or "methodologically" central. 1) Here's a challenge: Can one
1246:
There's even a strict necessity to the formal undefinability of 'set', I think. If you had a formal definition (providing consistent unambiguous necessary and sufficient conditions for being a set) you could just take the extension of that definition and diagonalize out of it. Intuitively, you'd want
1762:
This grouping should not be taken to imply that the propositions of set theory are reducible to pure logic. Arguably the other three branches are not, either. Anyway this is a conventional taxonomy and I don't think it's particularly controversial among set theorists. It may just not mean as much
951:
In the section on Basic
Concepts and Notation, subsection on Set Difference, the use of the letter U is confusing. This section uses U in the example for set difference, and for many people, U is usually used for the Universal set. An awkward reference to the universal set is used at the end of this
567:
We don't normally have to source individual word choices; we can weigh the overall literature and decide if the usage gives things appropriate weight. The two dominant set theory books (Jech and Kunen) are entirely about ZFC. The set theories NBG and MK are typically mentioned only to contrast them
656:
I edited once, but my edit was discarded, so I'm stating here what I dislike about the statements on
Category Theory/Topos Theory: I am not happy with this formulation. It seems to imply that Category Theory can interpret those "alternatives", while set theory cannot - this is in fact not the case,
1068:
Well, it's certainly true that if you take a strict axiomatic viewpoint and use (say) ZFC as the axioms, then "set" is a primitive concept and is therefore not given a "definition" in the formal sense. Since I'm not a formalist, I'm not willing to identify that once and for all with the notion of
986:
In my opinion, there are two main "issues" with that section. First, it is the only elementary section on the page. Most of the page is pitched at a pretty high level, somewhere around about 3rd year university pure mathematics. But the "Basic concepts and notation" section is pitched at the most
1758:
My take on this is that set theory may not be part of "logic" simpliciter, but it's conventionally part of "mathematical logic", which is a term for a collection of mathematical topics with a historical connection to logic. The four branches of mathematical logic are typically taken to be model
535:
That text is not claiming that ZFC is the only foundation of mathematics, nor is it talking about foundations in general. I see nothing wrong with saying ZFC is the canonical set theory; it is by far the set of axioms people mean when they say "set theory". Moreover, I was surprised at the edit
1500:
Thank you for your comment. I'll work on a replacement sentence or two that changes the date and tells how analysis lead him to both his 1874 and 1883 articles. I already have written something about how his work in analysis lead to the 1883 article, which introduces transfinite ordinals (see
1575:
Set theory is the foundation of mathematics. All mathematical concepts are defined in terms of the primitive notions of set and membership. In axiomatic set theory we formulate a few simple axioms about these primitive notions in an attempt to capture the basic "obviously true" set-theoretic
1595:
It might be illuminating to add that, in fact, mathematical analysis, topology, abstract algebra, and discrete mathematics can be derived from a very small part of set theory - the theory of P(P(P(N))), I believe. I'll try to nail down a good citation; it's a common observation.
1873:
discussion, because the main point is that "mathematical logic" is not a subset of "logic", but rather certain branches of mathematics conventionally grouped under that name. I suppose the
Russell connection could potentially help explain how they came to be so characterized.
964:"When A is a subset of U, the set difference U \ A is also called the complement of A in U. In this case, if the choice of U is clear from the context, the notation Ac is sometimes used instead of U \ A, particularly if U is a universal set as in the study of Venn diagrams."
998:
My recommendation would be to split that paragraph on set-complements into a binary complement paragraph followed by a unary complement paragraph. Then the binary complement paragraph would use a notation like A \ B, whereas the unary complement paragraph would use U \ A and
992:
A second difficulty which I see is that the paragraph about set-complements confuses the binary complement with the unary complement, which is quite common at the extremely elementary level. But anyone who can read any of the rest of the page will just skim over that
1865:
That was not a ridiculous opinion in 1903, but it has become much more difficult to maintain in the intervening years (at least if by "logic" you mean a simple collection of clearly valid and mechanically applicable inference rules, as opposed to, say, second-order
1954:
I don't think much of Frege has survived in terms of modern set theory, except for making an error for
Russell to instructively refute, and then Principia Mathematica itself was basically a dead end. But sure, he's part of the history that should be presented.
1938:
mention in this article of
Gottlob Frege. His work on the foundations of mathematics is inseparable from both the history of set theory and the development of Principia Mathematica. I will do my best to remedy this issue myself but would love others to help.
861:
Since the error has now stayed in the article for already more than a month after I discovered it, I now remove it using my original suggestion. If someone is willing to rewrite the section in order to make it more accessible, I would certainly support this.
987:
elementary level, around about year 9 or 10 high school or earlier. So it doesn't really make much sense to simplify that section even more when the rest of the page will be unreadable to anyone who has difficulty with the use of U in the complement U \ A.
434:
The first sentence is: "Mathematical topics typically emerge and evolve through interactions among many researchers. Set theory, however, was founded by a single paper in 1874 by Georg Cantor: "On a
Characteristic Property of All Real Algebraic Numbers"."
1231:, I now think it is pretty much essential to point out that nobody (not even Cantor) has delivered an acceptable definition of "set" that doesn't require a mile-long hand-waving argument to justify. "Set" is not defined in mathematics period.
657:
all those can also be modelled inside of set theory. I'm not arguing that
Category Theory is not a completely different approach, but the way it's written here seems to indicate it's superior in those ways, while this is not true.
952:
subsection to clarify this and in my opinion does a poor job. Why not simply use another letter at the beginning of the subsection, and keep the use of U for the universal set to avoid confusion on the part of beginners like me.
1430:
I'm certainly not saying there's nothing interesting to say about finite sets. But the study of them is usually not called "set theory". I think people who study this would consider themselves to be doing combinatorics.
1484:
It might be more accurate to say it began with Cantor's work on real analysis. It's not that unusual to see editors confuse real analysis with number theory, I suppose because it does after all deal with "numbers".
585:
I don't see much difference between saying "standard" and "canonical"; either way, the point is that if someone says they are learning axiomatic set theory the presumption is that they are learning ZFC. — Carl
1137:, "set" is a primitive concept and therefore not given a definition in the formal sense. The main thrust should i m o still be that sets should be thought of the way Cantor did. Many people, quite naturally,
621:
it is often mentioned in contrast with ZFC, the latter being the standard theory. Nonetheless, mathematicians do work in NBG, sometimes even without mentioning ZFC. See for example the recent article by
903:
The huge quantity of text
Multipundit is insisting on adding in the Generalizations section is massively out of proportion with the importance of these topics to set theory. It cannot possibly stay. --
1759:
theory, proof theory, computability theory (originally called recursion theory), and set theory. Category theory and universal algebra could reasonably be added, but for some reason typically are not.
1792:
Is type theory really an independent discipline? I thought it was more a name for one of a few different formal theories. I don't think I've ever met anyone who called him/herself a type theorist.
1690:
There seems to be a {{}} on end of the article, should it be removed? It looks like it's remains of a previous template has been added if possible can someone restore it, I can't find what it is.
1305:
We are told that "The modern study of set theory was initiated by Georg Cantor and Richard Dedekind in the 1870s". Finite set theory is a statement of the obvious and has always been known.
689:
The article states: "The rank of a pure set X is defined to be one more than the least upper bound of the ranks of all members of X." This is false. According to this definition, the rank of
375:
1979:
it is mentioned that the school Navya-Nyāya had anticipated the development of modern set theory before Georg cantor so is it better to give credit to that school rather than Georg cantor?
790:
603:
My objection is merely that "standard" implies a convention, whereas "canonical" implies an intrinsic reason for uniqueness, of which there is none in the case of ZFC, but I don't insist.
2022:
1668:
1629:
498:
demonstrated the great mathematical utility of set theory. Axiomatic set theory has become woven into the fabric of modern mathematics". However, my edits were reverted.
1149:
in more than one article. At least we should qualify what "definition" means and does not mean. Unfortunately, I don't think I'm qualified to come up with anything useful.
733:
1567:
is likewise uncontroversial; mathematicians accept that (in principle) theorems in these areas can be derived from the relevant definitions and the axioms of set theory.
753:
707:
2012:
514:
193:
on Knowledge. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the
807:
OK, you're right. I'll see if I can think of any better suggestions. One possibility would be just to remove the sentence, and go with the definition "the rank of
2027:
1087:
From a strict axiomatic viewpoint, e.g. using the ZFC axioms, the term "set" is a primitive concept, and is therefore not given a definition in the formal sense.
1519:
For now, I just corrected the old sentence to state that "modern understanding" was motivated by Cantor's work in real analysis and referenced Dauben's book. --
2037:
1119:
Honestly, I really don't think we should be emphasizing the "set theory comes from formal axioms" POV at all. Yes, my own bias comes in there, it's true. --
220:
35:
230:
2062:
1580:
If there are no objections, I will input it into the text. Perhaps, somebody knows other useful citations, I think it would be good to add them as well.
1286:, Hamilton’s essays offer early evidence of the need to discriminate between compound and collection, and early suggestions of terminology in algebra. —
365:
2007:
1822:
dubious; there's plenty of stuff that goes on in math logic that has no obvious connection to logic in either direction. But it's at least closer. --
970:"When A is a subset of U,(U is a universal set as in the study of Venn diagrams) the set difference U \ A is also called the complement of A in U." --
95:
69:
1278:. See his comments at page 29 and 64 where he looks back to his work of 1835 and 1848 for set theory. Since set theory has evolved in mathematics to
1469:
reflected his early interest in the theory of numbers, though his great creation of transfinite set theory was not indebted to this early work." --
1198:
a logical problem in the theory. One can perfectly well think of them as "collections of objects". Now I have managed to sound whimsical enough :D
2047:
2017:
438:
This viewpoint has been seriously contested, among other places in books mentioned as references. Let me suggest a look at this entry in the SEP,
961:
This would mean rephrasing and thereby simplifying the introduction to the complement of a set in the next sentence. One could simply replace
341:
2057:
1747:
1274:(1853). At that time he was wrestling with units, compounds, and collections, in particular his efforts at "triplets" that led eventually to
195:
2032:
448:
1856:
1751:
2052:
1664:
1648:
1613:
1461:
Removed the false sentence: "Modern understanding of infinity began in 1867–71, with Cantor's work on number theory." Joseph Dauben's
1312:
513:
The "canonical" part is not sourced and is apparently incorrect. There is a number of set theories that are widely accepted, such as
1920:
1718:
332:
293:
1182:
And, to clarify what I'd like to see, for instance, even if you can formally define natural numbers in therms of sets, the way to
1416:
1391:
1370:
185:
140:
2042:
2002:
1818:
The sound-bite version is: "Mathematical logic is not the logic of mathematics but the mathematics of logic." Even that's a
1843:
1328:
1009:
673:
44:
267:
145:
1543:
1743:
1601:
1252:
762:
406:
1023:
Should this article (or a more or perhaps less "advanced" article we have) explicitly point out that what a set
415:
1984:
1944:
1782:
1336:
923:
452:
1005:
1862:
I guess your point is that Russell thought set theory was part of logic (as opposed to mathematical logic)?
1660:
1625:
1420:
1395:
1374:
1316:
1283:
1279:
1145:, like groups, etc. The Cantor description (essentially a collection of objects) is given the status of a
1457:
Removed false sentence: "Modern understanding of infinity began ... with Cantor's work on number theory."
1917:
1838:
1715:
1552:
975:
50:
1894:
For example :-•complement laws •De Morgan's law •double complementation •empty and universal set law
318:
1739:
1735:
1697:
1671:
until a consensus is reached, and readers of this page are welcome to contribute to the discussion.
1632:
until a consensus is reached, and readers of this page are welcome to contribute to the discussion.
1597:
1564:
1412:
1387:
1366:
1308:
1248:
756:
661:
444:
100:
74:
623:
21:
1980:
1960:
1940:
1899:
1879:
1827:
1804:
1778:
1768:
1490:
1436:
1354:
1332:
1124:
1074:
971:
919:
908:
827:
340:
on Knowledge. If you would like to participate, please visit the project page, where you can join
1045:
definition, and, as far as I know, there is none. I think Halmos mentions this explicitly in his
1031:
mathematically defined is what you can do when you have a set or a set of sets at your disposal.
665:
420:
324:
308:
287:
1852:
1363:
The conjecture mentioned by Eppstein is carefully worded so as to refer to finite sets only.
1291:
1236:
1203:
1106:
1094:
1054:
712:
467:
This phrase is currently found in the article. What is the definite article meant to imply?
177:
1914:
1712:
1585:
1560:
1524:
1510:
1474:
1098:
958:
The replacement of U for say B in the first and second sentences, leaving the rest intact.
867:
797:
738:
692:
669:
631:
608:
558:
526:
503:
472:
417:
397:
1133:
And I do not disagree. I just want to get in some statement (somewhere) to the effect that
1083:
Aside from "mathematical definition" being (at best) ambiguous itself, would you say that
518:
463:
The modern understanding of infinity began in 1867-71, with Cantor's work on number theory
1956:
1895:
1875:
1823:
1800:
1764:
1502:
1486:
1432:
1350:
1267:
1120:
1070:
904:
823:
495:
259:
1996:
1676:
1637:
1271:
883:
593:
543:
491:
486:
I tried to tone down the rhetoric in "resulted in the canonical axiomatic set theory
439:
1726:
1976:
1848:
1546:, particularly in the form of Zermelo–Fraenkel set theory with the axiom of choice.
1287:
1232:
1199:
1102:
1050:
536:
summmary of "per talk" when no other editor had supported the change here. — Carl
1534:
References for the claim that set theory is a foundational system for mathematics
1186:
of them as being {}, {{}}, ..., is not what you should strive for. Likewise, the
1910:
1581:
1520:
1506:
1470:
863:
793:
627:
604:
554:
522:
517:
for instance. The bit about "woven into fabric" is sheer hyperbole. Certainly
499:
476:
468:
337:
88:
63:
1693:
1275:
912:
314:
190:
167:
1669:
Knowledge:Redirects for discussion/Log/2022 January 17#SetTheory/OldVersion
1630:
Knowledge:Redirects for discussion/Log/2021 December 5#SetTheory/OldVersion
1727:
It's tendentious to say that set theory is a branch of mathematical logic
1672:
1633:
1556:
879:
589:
539:
1655:
1620:
1406:
1384:
I agree, that a non-trivial problem does appear in finite set theory.
189:, a collaborative effort to improve the coverage of content related to
419:
1101:
does too, but there I think it is fine as a standalone "definition".
851:" would require some reqriting of that section, since currently the
161:
134:
1528:
1514:
1478:
1988:
1964:
1948:
1923:
1903:
1883:
1831:
1808:
1786:
1772:
1721:
1680:
1641:
1605:
1589:
1576:
principles. From such axioms, all known athematics may be derived.
1494:
1440:
1424:
1399:
1378:
1358:
1340:
1320:
1295:
1256:
1240:
1227:
Having been recently involved in dead-end debates over what a set
1207:
1128:
1110:
1078:
1058:
1049:, I'm sure I've read it somewhere in some reliable enough source.
1013:
979:
927:
888:
871:
831:
801:
677:
635:
612:
598:
562:
548:
530:
507:
456:
1799:
Anyway, this seems somewhat tangential to the point at hand. --
1659:
An editor has identified a potential problem with the redirect
1841:, developed by several authors but particularly by Russell in
1571:
I found a useful phrase for this in K.Kunen's book (page xi):
617:
I am not sure how your comment about NBG addresses my point.
487:
421:
391:
15:
1538:
I think these phrases must be provided with some references:
430:
The exposition of history is rather outdated and uncritical.
258:
934:
__________________________________________________________
1777:
Maybe the fifth branch to add these days is type theory? —
1409:
All these conjectures seem to refer to finite sets only.
490:, which is thought to be free of paradoxes. The work of
1270:
used the phrase "theory of sets" in the Preface of his
942:
Confusion in the section on Basic Concepts and Notation
1093:
or a similar sentence would be suitable to include in
1624:
A discussion is taking place to address the redirect
765:
741:
715:
695:
521:
needs to be mentioned as an alternative foundation.
336:, a collaborative effort to improve the coverage of
241:
1349:study", which is primarily about infinite sets. --
784:
747:
727:
701:
440:http://plato.stanford.edu/entries/settheory-early/
1465:(p. 30) states: "Like his dissertation, Cantor's
98:, a project which is currently considered to be
2023:Knowledge level-4 vital articles in Mathematics
755:(as can be seen from the definition of rank in
1890:Advanced laws of set theory should be included
1135:even in systems of formal axiomatic set theory
1837:Set theory can be interpreted to include the
8:
1456:
955:So in essence what i suggest would involve:
785:{\displaystyle \omega \subseteq V_{\omega }}
1733:
1410:
1385:
1364:
1306:
1041:will do for most purposes, but it isn't a
282:
238:
129:
58:
776:
764:
740:
714:
694:
110:Knowledge:WikiProject Citizendium Porting
113:Template:WikiProject Citizendium Porting
2013:Knowledge vital articles in Mathematics
1869:But it does not have much relevance to
858:s are defined using the notion of rank.
284:
131:
60:
19:
199:about philosophy content on Knowledge.
2028:B-Class vital articles in Mathematics
1542:Set theory is commonly employed as a
1069:"mathematical definition", though. --
918:I agree and have reverted it again. —
462:
7:
1407:https://arxiv.org/pdf/1512.00083.pdf
836:Your proposal to write "the rank of
330:This article is within the scope of
183:This article is within the scope of
94:This article is within the scope of
2038:High-importance Philosophy articles
1847:(1903) to dissect pure mathematics.
1544:foundational system for mathematics
1141:the term "set" is formally defined
1097:? It offers the Cantor definition.
652:Foundational debate/Category Theory
49:It is of interest to the following
1686:There is a {{}} can it be removed?
1027:is mathematically undefined? What
14:
2063:Top-priority mathematics articles
1934:I am very surprised to see not a
1763:as you think it's intended to. --
1647:"SetTheory/OldVersion" listed at
1612:"SetTheory/OldVersion" listed at
350:Knowledge:WikiProject Mathematics
2008:Knowledge level-4 vital articles
1702:
1667:. This discussion will occur at
1654:
1619:
1036:A set is a collection of objects
626:in Bulletin of Symbolic Logic.
396:
353:Template:WikiProject Mathematics
317:
307:
286:
205:Knowledge:WikiProject Philosophy
170:
160:
133:
87:
62:
29:
20:
1628:. The discussion will occur at
1551:Set theory as a foundation for
1327:If it's so obvious, why is the
876:Thanks for fixing that, — Carl
370:This article has been rated as
225:This article has been rated as
208:Template:WikiProject Philosophy
96:WikiProject Citizendium Porting
2048:High-importance logic articles
2018:B-Class level-4 vital articles
1965:04:25, 19 September 2023 (UTC)
1949:01:44, 19 September 2023 (UTC)
1194:having a formal definition is
685:Erraneous definition of "rank"
1:
1989:05:12, 14 November 2023 (UTC)
1844:The Principles of Mathematics
889:16:14, 23 November 2012 (UTC)
872:14:35, 23 November 2012 (UTC)
735:, even though it is actually
344:and see a list of open tasks.
2058:B-Class mathematics articles
1884:00:24, 10 January 2023 (UTC)
1700:) 08:11, 29 July 2022 (UTC)
1681:15:27, 17 January 2022 (UTC)
1642:01:05, 5 December 2021 (UTC)
1441:22:58, 1 February 2018 (UTC)
1425:12:03, 1 February 2018 (UTC)
1400:11:54, 1 February 2018 (UTC)
1379:11:50, 1 February 2018 (UTC)
1359:08:57, 1 February 2018 (UTC)
1341:08:35, 1 February 2018 (UTC)
1329:union-closed sets conjecture
1321:08:15, 1 February 2018 (UTC)
928:06:36, 18 January 2013 (UTC)
913:04:47, 18 January 2013 (UTC)
832:21:50, 21 October 2012 (UTC)
802:10:20, 20 October 2012 (UTC)
636:09:28, 3 February 2012 (UTC)
613:17:23, 2 February 2012 (UTC)
599:16:46, 2 February 2012 (UTC)
563:16:35, 2 February 2012 (UTC)
549:16:31, 2 February 2012 (UTC)
531:18:47, 1 February 2012 (UTC)
508:18:18, 1 February 2012 (UTC)
477:18:01, 1 February 2012 (UTC)
116:Citizendium Porting articles
2033:B-Class Philosophy articles
1857:21:43, 9 January 2023 (UTC)
1832:17:50, 9 January 2023 (UTC)
1809:07:53, 9 January 2023 (UTC)
1787:06:48, 9 January 2023 (UTC)
1773:05:41, 9 January 2023 (UTC)
1752:03:14, 9 January 2023 (UTC)
1606:02:57, 9 January 2023 (UTC)
1590:17:37, 8 October 2019 (UTC)
1296:22:09, 24 August 2016 (UTC)
1257:02:54, 9 January 2023 (UTC)
1014:15:17, 21 August 2013 (UTC)
980:14:53, 21 August 2013 (UTC)
2079:
1529:18:23, 16 April 2018 (UTC)
1515:02:38, 16 April 2018 (UTC)
1495:21:26, 15 April 2018 (UTC)
1479:18:44, 15 April 2018 (UTC)
1345:In any case, it says "the
1059:15:23, 25 March 2014 (UTC)
231:project's importance scale
2053:Logic task force articles
1722:09:19, 29 July 2022 (UTC)
898:
840:is the least α such that
811:is the least α such that
728:{\displaystyle \omega +1}
678:18:38, 21 June 2012 (UTC)
457:17:30, 2 April 2014 (UTC)
394:
369:
302:
266:
237:
224:
155:
82:
57:
1924:10:25, 27 May 2023 (UTC)
1904:05:20, 27 May 2023 (UTC)
1649:Redirects for discussion
1614:Redirects for discussion
376:project's priority scale
1663:and has thus listed it
1280:mathematical structures
1272:Lectures on Quaternions
1241:22:10, 8 May 2014 (UTC)
1208:19:24, 5 May 2014 (UTC)
1129:18:38, 5 May 2014 (UTC)
1111:15:46, 5 May 2014 (UTC)
1079:05:47, 5 May 2014 (UTC)
899:Multipundit's additions
748:{\displaystyle \omega }
702:{\displaystyle \omega }
333:WikiProject Mathematics
242:Associated task forces:
2043:B-Class logic articles
2003:B-Class vital articles
1578:
1569:
1548:
1503:Ordinal number#History
1284:category (mathematics)
786:
749:
729:
703:
263:
186:WikiProject Philosophy
1971:History of set theory
1839:calculus of relations
1573:
1553:mathematical analysis
1549:
1540:
787:
750:
730:
704:
262:
36:level-4 vital article
1661:SetTheory/OldVersion
1626:SetTheory/OldVersion
1565:discrete mathematics
1467:Habilitationsschrift
763:
757:Von Neumann universe
739:
713:
693:
356:mathematics articles
211:Philosophy articles
107:Citizendium Porting
70:Citizendium Porting
1006:Alan U. Kennington
782:
745:
725:
699:
482:Tone down rhetoric
325:Mathematics portal
264:
196:general discussion
45:content assessment
1930:Frege is missing?
1811:
1796:
1793:
1754:
1738:comment added by
1427:
1415:comment added by
1402:
1390:comment added by
1381:
1369:comment added by
1331:not yet proven? —
1323:
1311:comment added by
1095:Set (mathematics)
887:
681:
664:comment added by
597:
547:
447:comment added by
427:
426:
390:
389:
386:
385:
382:
381:
281:
280:
277:
276:
273:
272:
178:Philosophy portal
128:
127:
124:
123:
2070:
1798:
1795:
1791:
1710:
1706:
1705:
1658:
1623:
1561:abstract algebra
1099:Naive set theory
1047:Naîve Set Theory
1019:Set is undefined
877:
791:
789:
788:
783:
781:
780:
754:
752:
751:
746:
734:
732:
731:
726:
708:
706:
705:
700:
680:
658:
587:
537:
459:
422:
400:
392:
358:
357:
354:
351:
348:
327:
322:
321:
311:
304:
303:
298:
290:
283:
249:
239:
213:
212:
209:
206:
203:
180:
175:
174:
173:
164:
157:
156:
151:
148:
137:
130:
118:
117:
114:
111:
108:
91:
84:
83:
78:
66:
59:
42:
33:
32:
25:
24:
16:
2078:
2077:
2073:
2072:
2071:
2069:
2068:
2067:
1993:
1992:
1975:In the article
1973:
1932:
1892:
1740:Sunyataivarupam
1729:
1703:
1701:
1688:
1652:
1617:
1598:Sunyataivarupam
1536:
1459:
1303:
1265:
1249:Sunyataivarupam
1190:{}, {{}}, ...,
1021:
944:
901:
857:
850:
821:
772:
761:
760:
737:
736:
711:
710:
691:
690:
687:
659:
654:
624:Philip Ehrlich
519:category theory
484:
465:
442:
432:
423:
418:
355:
352:
349:
346:
345:
323:
316:
296:
247:
227:High-importance
210:
207:
204:
201:
200:
176:
171:
169:
150:High‑importance
149:
143:
115:
112:
109:
106:
105:
72:
43:on Knowledge's
40:
30:
12:
11:
5:
2076:
2074:
2066:
2065:
2060:
2055:
2050:
2045:
2040:
2035:
2030:
2025:
2020:
2015:
2010:
2005:
1995:
1994:
1981:Myuoh kaka roi
1972:
1969:
1968:
1967:
1941:Jbermingham123
1931:
1928:
1927:
1926:
1891:
1888:
1887:
1886:
1867:
1863:
1835:
1834:
1816:
1815:
1814:
1813:
1812:
1794:
1779:David Eppstein
1760:
1728:
1725:
1687:
1684:
1665:for discussion
1651:
1645:
1616:
1610:
1609:
1608:
1535:
1532:
1498:
1497:
1458:
1455:
1454:
1453:
1452:
1451:
1450:
1449:
1448:
1447:
1446:
1445:
1444:
1443:
1333:David Eppstein
1302:
1299:
1268:W. R. Hamilton
1264:
1261:
1260:
1259:
1225:
1224:
1223:
1222:
1221:
1220:
1219:
1218:
1217:
1216:
1215:
1214:
1213:
1212:
1211:
1210:
1165:
1164:
1163:
1162:
1161:
1160:
1159:
1158:
1157:
1156:
1155:
1154:
1153:
1152:
1151:
1150:
1091:
1090:
1089:
1039:
1038:
1020:
1017:
1002:
1001:
1000:
995:
994:
989:
988:
950:
943:
940:
933:
931:
930:
920:David Eppstein
900:
897:
896:
895:
894:
893:
892:
891:
859:
855:
848:
819:
779:
775:
771:
768:
744:
724:
721:
718:
698:
686:
683:
653:
650:
649:
648:
647:
646:
645:
644:
643:
642:
641:
640:
639:
638:
576:
575:
574:
573:
572:
571:
570:
569:
496:Henri Lebesgue
483:
480:
464:
461:
449:90.169.125.151
431:
428:
425:
424:
416:
414:
411:
410:
402:
388:
387:
384:
383:
380:
379:
368:
362:
361:
359:
342:the discussion
329:
328:
312:
300:
299:
291:
279:
278:
275:
274:
271:
270:
265:
255:
254:
252:
250:
244:
243:
235:
234:
223:
217:
216:
214:
182:
181:
165:
153:
152:
138:
126:
125:
122:
121:
119:
92:
80:
79:
67:
55:
54:
48:
26:
13:
10:
9:
6:
4:
3:
2:
2075:
2064:
2061:
2059:
2056:
2054:
2051:
2049:
2046:
2044:
2041:
2039:
2036:
2034:
2031:
2029:
2026:
2024:
2021:
2019:
2016:
2014:
2011:
2009:
2006:
2004:
2001:
2000:
1998:
1991:
1990:
1986:
1982:
1978:
1970:
1966:
1962:
1958:
1953:
1952:
1951:
1950:
1946:
1942:
1937:
1929:
1925:
1922:
1919:
1916:
1912:
1908:
1907:
1906:
1905:
1901:
1897:
1889:
1885:
1881:
1877:
1872:
1868:
1864:
1861:
1860:
1859:
1858:
1854:
1850:
1846:
1845:
1840:
1833:
1829:
1825:
1821:
1817:
1810:
1806:
1802:
1797:
1790:
1789:
1788:
1784:
1780:
1776:
1775:
1774:
1770:
1766:
1761:
1757:
1756:
1755:
1753:
1749:
1745:
1741:
1737:
1724:
1723:
1720:
1717:
1714:
1709:
1699:
1695:
1691:
1685:
1683:
1682:
1678:
1674:
1670:
1666:
1662:
1657:
1650:
1646:
1644:
1643:
1639:
1635:
1631:
1627:
1622:
1615:
1611:
1607:
1603:
1599:
1594:
1593:
1592:
1591:
1587:
1583:
1577:
1572:
1568:
1566:
1562:
1558:
1554:
1547:
1545:
1539:
1533:
1531:
1530:
1526:
1522:
1517:
1516:
1512:
1508:
1504:
1496:
1492:
1488:
1483:
1482:
1481:
1480:
1476:
1472:
1468:
1464:
1442:
1438:
1434:
1429:
1428:
1426:
1422:
1418:
1414:
1408:
1404:
1403:
1401:
1397:
1393:
1389:
1383:
1382:
1380:
1376:
1372:
1368:
1362:
1361:
1360:
1356:
1352:
1348:
1344:
1343:
1342:
1338:
1334:
1330:
1326:
1325:
1324:
1322:
1318:
1314:
1310:
1300:
1298:
1297:
1293:
1289:
1285:
1281:
1277:
1273:
1269:
1262:
1258:
1254:
1250:
1245:
1244:
1243:
1242:
1238:
1234:
1230:
1209:
1205:
1201:
1197:
1193:
1189:
1185:
1181:
1180:
1179:
1178:
1177:
1176:
1175:
1174:
1173:
1172:
1171:
1170:
1169:
1168:
1167:
1166:
1148:
1144:
1140:
1136:
1132:
1131:
1130:
1126:
1122:
1118:
1117:
1116:
1115:
1114:
1113:
1112:
1108:
1104:
1100:
1096:
1092:
1088:
1085:
1084:
1082:
1081:
1080:
1076:
1072:
1067:
1066:
1065:
1064:
1063:
1062:
1061:
1060:
1056:
1052:
1048:
1044:
1037:
1034:
1033:
1032:
1030:
1026:
1018:
1016:
1015:
1011:
1007:
997:
996:
991:
990:
985:
984:
983:
981:
977:
973:
968:
965:
962:
959:
956:
953:
948:
947:
941:
939:
938:
935:
929:
925:
921:
917:
916:
915:
914:
910:
906:
890:
885:
881:
875:
874:
873:
869:
865:
860:
854:
847:
843:
839:
835:
834:
833:
829:
825:
818:
814:
810:
806:
805:
804:
803:
799:
795:
777:
773:
769:
766:
758:
742:
722:
719:
716:
696:
684:
682:
679:
675:
671:
667:
663:
651:
637:
633:
629:
625:
620:
616:
615:
614:
610:
606:
602:
601:
600:
595:
591:
584:
583:
582:
581:
580:
579:
578:
577:
566:
565:
564:
560:
556:
552:
551:
550:
545:
541:
534:
533:
532:
528:
524:
520:
516:
512:
511:
510:
509:
505:
501:
497:
493:
489:
481:
479:
478:
474:
470:
460:
458:
454:
450:
446:
441:
436:
429:
413:
412:
409:
408:
403:
401:
399:
393:
377:
373:
367:
364:
363:
360:
343:
339:
335:
334:
326:
320:
315:
313:
310:
306:
305:
301:
295:
292:
289:
285:
269:
261:
257:
256:
253:
251:
246:
245:
240:
236:
232:
228:
222:
219:
218:
215:
198:
197:
192:
188:
187:
179:
168:
166:
163:
159:
158:
154:
147:
142:
139:
136:
132:
120:
103:
102:
97:
93:
90:
86:
85:
81:
76:
71:
68:
65:
61:
56:
52:
46:
38:
37:
27:
23:
18:
17:
1977:Indian logic
1974:
1935:
1933:
1893:
1870:
1842:
1836:
1819:
1734:— Preceding
1730:
1707:
1692:
1689:
1653:
1618:
1579:
1574:
1570:
1550:
1541:
1537:
1518:
1499:
1466:
1463:Georg Cantor
1462:
1460:
1411:— Preceding
1386:— Preceding
1365:— Preceding
1346:
1313:188.39.71.98
1307:— Preceding
1304:
1266:
1228:
1226:
1195:
1191:
1187:
1183:
1146:
1142:
1138:
1134:
1086:
1046:
1043:mathematical
1042:
1040:
1035:
1028:
1024:
1022:
1003:
969:
966:
963:
960:
957:
954:
949:
946:
945:
937:
936:
932:
902:
852:
845:
841:
837:
816:
812:
808:
688:
660:— Preceding
655:
618:
485:
466:
443:— Preceding
437:
433:
404:
395:
372:Top-priority
371:
331:
297:Top‑priority
226:
194:
184:
99:
51:WikiProjects
34:
1921:| contribs)
1915:Ancheta Wis
1911:truth table
1719:| contribs)
1713:Ancheta Wis
1301:Finite sets
1276:quaternions
347:Mathematics
338:mathematics
294:Mathematics
1997:Categories
1417:86.1.37.70
1392:86.1.37.70
1371:86.1.37.70
1147:definition
405:Archives:
202:Philosophy
191:philosophy
141:Philosophy
1957:Trovatore
1896:Yuthfghds
1876:Trovatore
1824:Trovatore
1801:Trovatore
1765:Trovatore
1487:Trovatore
1433:Trovatore
1351:Trovatore
1143:somewhere
1121:Trovatore
1071:Trovatore
982:jwmahood
905:Trovatore
824:Trovatore
709:would be
619:Of course
39:is rated
1748:contribs
1736:unsigned
1557:topology
1413:unsigned
1388:unsigned
1367:unsigned
1309:unsigned
1263:Hamilton
972:Jwmahood
759:, since
674:contribs
662:unsigned
494:such as
492:analysts
445:unsigned
101:inactive
75:inactive
1866:logic).
1849:Rgdboer
1288:Rgdboer
1233:YohanN7
1200:YohanN7
1103:YohanN7
1051:YohanN7
993:anyway.
374:on the
229:on the
41:B-class
1936:single
1820:little
1582:Eozhik
1563:, and
1521:RJGray
1507:RJGray
1471:RJGray
1347:modern
864:Marcos
794:Marcos
666:Ftonti
628:Tkuvho
605:Tkuvho
555:Tkuvho
523:Tkuvho
500:Tkuvho
469:Tkuvho
47:scale.
1918:(talk
1716:(talk
1694:Qwea1
1505:). --
1184:think
1139:think
967:with
268:Logic
146:Logic
28:This
1985:talk
1961:talk
1945:talk
1913:. --
1909:See
1900:talk
1880:talk
1871:this
1853:talk
1828:talk
1805:talk
1783:talk
1769:talk
1744:talk
1708:Done
1698:talk
1677:talk
1638:talk
1602:talk
1586:talk
1525:talk
1511:talk
1491:talk
1475:talk
1437:talk
1421:talk
1405:See
1396:talk
1375:talk
1355:talk
1337:talk
1317:talk
1292:talk
1282:and
1253:talk
1237:talk
1204:talk
1188:sets
1125:talk
1107:talk
1075:talk
1055:talk
1010:talk
976:talk
924:talk
909:talk
884:talk
868:talk
828:talk
822:. --
798:talk
670:talk
632:talk
609:talk
594:talk
559:talk
544:talk
527:talk
504:talk
473:talk
453:talk
221:High
1673:Q28
1634:Q28
1196:not
1192:not
880:CBM
849:α+1
820:α+1
590:CBM
540:CBM
515:NBG
488:ZFC
366:Top
1999::
1987:)
1963:)
1955:--
1947:)
1902:)
1882:)
1874:--
1855:)
1830:)
1807:)
1785:)
1771:)
1750:)
1746:•
1711:--
1679:)
1640:)
1604:)
1588:)
1559:,
1555:,
1527:)
1513:)
1493:)
1485:--
1477:)
1439:)
1431:--
1423:)
1398:)
1377:)
1357:)
1339:)
1319:)
1294:)
1255:)
1239:)
1229:is
1206:)
1127:)
1109:)
1077:)
1057:)
1029:is
1025:is
1012:)
1004:--
999:A.
978:)
926:)
911:)
882:·
870:)
830:)
800:)
778:ω
770:⊆
767:ω
743:ω
717:ω
697:ω
676:)
672:•
634:)
611:)
592:·
561:)
542:·
529:)
506:)
475:)
455:)
248:/
144::
1983:(
1959:(
1943:(
1898:(
1878:(
1851:(
1826:(
1803:(
1781:(
1767:(
1742:(
1696:(
1675:(
1636:(
1600:(
1584:(
1523:(
1509:(
1489:(
1473:(
1435:(
1419:(
1394:(
1373:(
1353:(
1335:(
1315:(
1290:(
1251:(
1235:(
1202:(
1123:(
1105:(
1073:(
1053:(
1008:(
974:(
922:(
907:(
886:)
878:(
866:(
856:α
853:V
846:V
844:∈
842:x
838:x
826:(
817:V
815:∈
813:x
809:x
796:(
774:V
723:1
720:+
668:(
630:(
607:(
596:)
588:(
557:(
546:)
538:(
525:(
502:(
471:(
451:(
407:1
378:.
233:.
104:.
77:)
73:(
53::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.