249:
of von
Neumann ordinals -- as mentioned later, it was not the way Burali-Forti expressed it, and it tempts one to think that issues of "foundation" are involved in the paradox. (In fact, I had thought about this material a little while ago and written up notes. When I looked back at my notes, I saw that I had derived the claim o \in o, noted its suspectness, and then constructed von Neumann ordinals to show that for them "o \in o" is not "paradoxical" but just false. But this is unnecessary and misses the spirit of it, it seems to me now.) I wonder why the section "Stated more generally" does not appear first, written up slightly more carefully. For instance, it says that the association of an order-type to a well-ordered set is done in an "unspecified" way, but we should at least specify the key point: we assign the same order-type to two well-ordered sets iff they are order-isomorphic!
257:
cardinality \kappa) itself does not have cardinality at most \kappa. In particular, this shows the existence of uncountable well-ordered sets. The point here (as I understand it -- I hope I will be corrected if I am wrong!) is that this fact is true _without the axiom of choice_, whereas the fact that there is a well-ordered set of every cardinality is of course equivalent to AC. To those who would say that one should not worry about the use of AC in "naive set theory", I can only say that I myself am not especially interested in doing deductions from the ZF/C axioms, but I find it very interesting to know which of the theorems I know in set theory (and other areas of mathematics) are equivalent to AC. And anyway isn't this exactly the sort of thing you would want to know if you were trying to decide whether you wanted to work in ZFC? -- P.L. Clark
253:
order-isomorphic to at least one element of S." (The equivalence should be explained.) Then the proof can be given, which basically consists of unpacking the statement and citing the known theorem that no well-ordered set is order-isomorphic to one of its initial segments. (This is of course referred to in the current draft, but it could be made even more clear.) Saying that the proof "can be carried out in naive set theory" seems to raise unnecessary questions (i.e., what is naive set theory, exactly).
84:
74:
53:
182:) if x in y in A (i.e. (x in y) and (y in A)) imply x in A. Then an ordinal number is an e-trans set, each of whose elements is also e-trans. From here, one can show that the empty set is an ordinal number, and that the successor of an ordinal number is an ordinal, and so on. This isn't the only possible definintion. You can also say an ordinal is a set that's totally ordered and every element is a subset.
22:
194:, since it was formulated in the 19th century before this rather obscure axiom was an issue. Indeed, Frege's system patently denied the axiom of regularity, but the paradoxes that caused so much consternation (of which this was the first) were true contradictions only in Frege's system (the first formal system proposed in those days). --
256:
I also think that it should be pointed out that just like Cantor's "paradox" is really an important theorem about cardinalities, Burali-Forti's paradox proves the following important fact: the collection of order-isomorphism types of well-ordered sets whose cardinalities are at most \kappa (for any
252:
Also the paradox is not even given a careful statement, which is strange. I think the statement should be something like: "The order-isomorphism types of well-ordered sets do not themselves form a set; equivalently, there is no single set S of well-ordered sets such that every well-ordered set is
248:
I am a mathematician (but not a set theorist) who has just been reading up on cardinals, ordinals and in particular the Burali-Forti paradox, and I find the current article to be a bit obscure and also a bit anemic. On the one hand, I can't figure out why the paradox is initially stated in terms
231:
The paradox does not depend on anything about membership per se. It depends on the supposed possibility of assigning an order type to every isomorphism type of well-orderings, combined with the observation that the order types are then naturally ordered, and each order type (ordinal number) is the
185:
Also, the paradox isn't quite the way it's stated, "if the ordinal numbers formed a set, that set would then be an ordinal number greater than any number in the set". The paradox is NOT so much that the set of all ordinals would be "greater" than any ordinal number it contains, but rather that the
170:
I'm a little concerned about the definition of ordinal numbers as those which can be defined as "the set of all their predecessors". In formal set theory, the "predecessor" relation is often taken by definition to be just another name for the membership relation. So, "a is a predecessor of b" is
219:
The method of using classes, and then defining sets as those classes which are contained as an element of some other class is one way of skirting the paradox. I'm not an expert on mathematical logic, but I don't think the class-set way of doing things is the only acceptable alternative (although
288:
Perfectly true. My understanding has for many years been that Burali-Forti was unaware of any paradox, and I have just checked his paper, and confirmed that it makes no mention of any paradox. Burali-Forti merely proved a theorem which contradicted a pre-existing theorem
162:
Does this paradox rely on the fact that sets cannot contain themselves? If so, somebody should note that it does not apply to some of the post-ZFC theories which are consistent in the presence of self-containing sets; for example
171:
just another way of saying "a is an element of b". In this case, to say that an ordinal number is one which is "the set of all its predecessors" would make every set an ordinal number, and this is clearly wrong.
140:
313:
Maybe we should say what Burali-Forti proved, and what the pre-existing theorem was, and which of the two (if either) is still a theorem in ZFC? Is that easily doable?
186:
set of all ordinals would have to be a member of itself, and this ultimately violates the axiom of regularity, which implies that for all sets A, A is not in A.
344:
130:
106:
339:
265:
In his talk 1999 talk at UMass-Lowell, Gregory
Chaitin said that "if you look at the paper by Burali-Forti, you don't see the paradox". (
232:
order type of the segment it determines in the natural order on order types. See the generalization of the argument that I inserted.
97:
58:
270:
205:
The axiom of regularity is indeed a red herring here. Since we have an inherent antinomy, we can derive a contradiction to
33:
209:, be it true, false, axiom or not. Also as Toby says, the axiom of regularity was only introduced later. --
304:
39:
220:
probably the most popular). If others know more about these alternatives, that would be good to know.
83:
314:
21:
318:
235:
191:
274:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
89:
73:
52:
300:
278:
195:
271:
https://web.archive.org/web/20110928163805/http://www.umcs.maine.edu/~chaitin/lowell.html
333:
221:
266:
210:
164:
102:
322:
308:
282:
238:
79:
174:
One common definition for ordinal number is the following. A set A is
273:) Apparently the paradox occurred to Russell while reading the paper.
15:
190:
I'm 90% certain that the paradox doesn't rely on the
101:, a collaborative effort to improve the coverage of
267:http://www.umcs.maine.edu/~chaitin/lowell.html
8:
47:
158:Paradox about sets containing themselves?
293:. I shall edit the article accordingly.
49:
19:
7:
95:This article is within the scope of
38:It is of interest to the following
14:
345:Low-priority mathematics articles
296:The editor who uses the pseudonym
115:Knowledge:WikiProject Mathematics
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
261:May not be due to Burali-Forti
1:
239:20:46, 16 December 2005 (UTC)
109:and see a list of open tasks.
340:C-Class mathematics articles
323:03:05, 24 January 2015 (UTC)
283:01:18, 15 January 2011 (UTC)
361:
244:Article could be improved
167:03:21, 28 Sep 2004 (UTC)
134:
67:
46:
309:14:29, 10 May 2014 (UTC)
227:the basis of the paradox
213:12:03, 10 Mar 2004 (UTC)
198:04:15, 10 Mar 2004 (UTC)
141:project's priority scale
98:WikiProject Mathematics
28:This article is rated
121:mathematics articles
192:axiom of regularity
176:element-transitive
90:Mathematics portal
34:content assessment
298:
155:
154:
151:
150:
147:
146:
352:
294:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
360:
359:
355:
354:
353:
351:
350:
349:
330:
329:
263:
246:
229:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
358:
356:
348:
347:
342:
332:
331:
328:
327:
326:
325:
291:unknown to him
262:
259:
245:
242:
236:Randall Holmes
228:
225:
217:
216:
215:
214:
200:
199:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
357:
346:
343:
341:
338:
337:
335:
324:
320:
316:
312:
311:
310:
306:
302:
297:
292:
287:
286:
285:
284:
280:
276:
272:
268:
260:
258:
254:
250:
243:
241:
240:
237:
233:
226:
224:
223:
212:
208:
204:
203:
202:
201:
197:
193:
189:
188:
187:
183:
181:
177:
172:
168:
166:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
301:JamesBWatson
295:
290:
264:
255:
251:
247:
234:
230:
218:
206:
196:Toby Bartels
184:
179:
175:
173:
169:
161:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
334:Categories
315:Joule36e5
222:Revolver
207:anything
275:Scorwin
180:e-trans
139:on the
30:C-class
211:Mellum
165:Megacz
36:scale.
319:talk
305:talk
279:talk
178:(or
303:" (
269:) (
131:Low
336::
321:)
307:)
281:)
317:(
299:"
277:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
