477:
467:
449:
243:
421:
405:
203:
234:
307:
276:
560:
317:
626:
The "Formal presentation" section begin with a description of the Axiom of extensionality. However I don't see how this axiom is relevant nor that it is used anywhere in the rest of the section, which just uses
Comprehension, Existential instantiation and Universal instantiation. Extentionality is
606:
Its definition is like the like the set R in the article: i.e. x belongs to R if and only if x does not belong to x (however, determine whether a positive integer x is a
Russell number may be very difficult, the smallest unknown x is 319)
153:
608:
529:
710:
670:
571:
715:
147:
567:
194:
705:
660:
338:
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
725:
675:
523:
428:
290:
685:
365:
247:
375:
79:
44:
655:
599:
695:
665:
499:
720:
340:
85:
680:
700:
612:
553:
490:
454:
190:
168:
330:
281:
135:
690:
650:
99:
30:
104:
20:
74:
256:
412:
286:
65:
129:
202:
185:
213:
125:
109:
175:
575:
262:
476:
632:
628:
233:
161:
55:
498:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
482:
218:
141:
70:
24:
466:
448:
322:
51:
215:
627:
also not mentioned in the source cited. Should the reference to extentionality be deleted?
420:
404:
644:
495:
636:
616:
586:
472:
335:
312:
217:
559:
334:, a collaborative effort to improve the coverage of content related to
306:
275:
552:"The set of all sets that do not contain themselves" listed at
227:
219:
15:
566:
An editor has asked for a discussion to address the redirect
558:
419:
403:
594:
160:
494:, a collaborative effort to improve the coverage of
386:
568:The set of all sets that do not contain themselves
528:This article has not yet received a rating on the
711:High-importance Contemporary philosophy articles
33:for general discussion of the article's subject.
671:Knowledge level-4 vital articles in Mathematics
174:
8:
716:Contemporary philosophy task force articles
443:
383:
270:
706:C-Class Contemporary philosophy articles
661:Knowledge vital articles in Mathematics
445:
272:
231:
609:2402:7500:917:8A69:2C6E:A04F:8752:A7E0
344:about philosophy content on Knowledge.
726:Unknown-priority mathematics articles
676:C-Class vital articles in Mathematics
7:
488:This article is within the scope of
328:This article is within the scope of
686:High-importance Philosophy articles
261:It is of interest to the following
23:for discussing improvements to the
14:
508:Knowledge:WikiProject Mathematics
656:Knowledge level-4 vital articles
511:Template:WikiProject Mathematics
475:
465:
447:
350:Knowledge:WikiProject Philosophy
315:
305:
274:
241:
232:
201:
45:Click here to start a new topic.
370:This article has been rated as
353:Template:WikiProject Philosophy
696:High-importance logic articles
666:C-Class level-4 vital articles
602:) be called “Russell numbers”?
1:
502:and see a list of open tasks.
42:Put new text under old text.
721:C-Class mathematics articles
637:20:11, 22 January 2023 (UTC)
681:C-Class Philosophy articles
587:18:25, 6 January 2020 (UTC)
50:New to Knowledge? Welcome!
742:
376:project's importance scale
701:Logic task force articles
617:05:09, 11 July 2022 (UTC)
527:
460:
427:
411:
382:
369:
300:
269:
80:Be welcoming to newcomers
570:. Please participate in
554:Redirects for discussion
530:project's priority scale
622:Axiom of extensionality
574:if you wish to do so.
572:the redirect discussion
491:WikiProject Mathematics
429:Contemporary philosophy
387:Associated task forces:
691:C-Class logic articles
651:C-Class vital articles
563:
424:
408:
331:WikiProject Philosophy
75:avoid personal attacks
562:
423:
407:
248:level-4 vital article
195:Auto-archiving period
100:Neutral point of view
514:mathematics articles
105:No original research
356:Philosophy articles
564:
483:Mathematics portal
425:
409:
341:general discussion
257:content assessment
86:dispute resolution
47:
544:
543:
540:
539:
536:
535:
442:
441:
438:
437:
434:
433:
323:Philosophy portal
226:
225:
66:Assume good faith
43:
25:Russell's paradox
733:
597:
584:
581:
578:
516:
515:
512:
509:
506:
485:
480:
479:
469:
462:
461:
451:
444:
394:
384:
358:
357:
354:
351:
348:
325:
320:
319:
318:
309:
302:
301:
296:
293:
278:
271:
254:
245:
244:
237:
236:
228:
220:
206:
205:
196:
179:
178:
164:
95:Article policies
16:
741:
740:
736:
735:
734:
732:
731:
730:
641:
640:
624:
604:
593:
582:
579:
576:
557:
513:
510:
507:
504:
503:
481:
474:
392:
372:High-importance
355:
352:
349:
346:
345:
321:
316:
314:
295:High‑importance
294:
284:
255:on Knowledge's
252:
242:
222:
221:
216:
193:
121:
116:
115:
114:
91:
61:
12:
11:
5:
739:
737:
729:
728:
723:
718:
713:
708:
703:
698:
693:
688:
683:
678:
673:
668:
663:
658:
653:
643:
642:
623:
620:
603:
592:Can (sequence
590:
556:
550:
548:
542:
541:
538:
537:
534:
533:
526:
520:
519:
517:
500:the discussion
487:
486:
470:
458:
457:
452:
440:
439:
436:
435:
432:
431:
426:
416:
415:
410:
400:
399:
397:
395:
389:
388:
380:
379:
368:
362:
361:
359:
327:
326:
310:
298:
297:
279:
267:
266:
260:
238:
224:
223:
214:
212:
211:
208:
207:
181:
180:
118:
117:
113:
112:
107:
102:
93:
92:
90:
89:
82:
77:
68:
62:
60:
59:
48:
39:
38:
35:
34:
28:
13:
10:
9:
6:
4:
3:
2:
738:
727:
724:
722:
719:
717:
714:
712:
709:
707:
704:
702:
699:
697:
694:
692:
689:
687:
684:
682:
679:
677:
674:
672:
669:
667:
664:
662:
659:
657:
654:
652:
649:
648:
646:
639:
638:
634:
630:
621:
619:
618:
614:
610:
601:
596:
591:
589:
588:
585:
573:
569:
561:
555:
551:
549:
546:
531:
525:
522:
521:
518:
501:
497:
493:
492:
484:
478:
473:
471:
468:
464:
463:
459:
456:
453:
450:
446:
430:
422:
418:
417:
414:
406:
402:
401:
398:
396:
391:
390:
385:
381:
377:
373:
367:
364:
363:
360:
343:
342:
337:
333:
332:
324:
313:
311:
308:
304:
303:
299:
292:
288:
283:
280:
277:
273:
268:
264:
258:
250:
249:
239:
235:
230:
229:
210:
209:
204:
200:
192:
189:
187:
183:
182:
177:
173:
170:
167:
163:
159:
155:
152:
149:
146:
143:
140:
137:
134:
131:
127:
124:
123:Find sources:
120:
119:
111:
110:Verifiability
108:
106:
103:
101:
98:
97:
96:
87:
83:
81:
78:
76:
72:
69:
67:
64:
63:
57:
53:
52:Learn to edit
49:
46:
41:
40:
37:
36:
32:
26:
22:
18:
17:
625:
605:
565:
547:
545:
489:
371:
339:
329:
291:Contemporary
263:WikiProjects
246:
198:
184:
171:
165:
157:
150:
144:
138:
132:
122:
94:
19:This is the
505:Mathematics
496:mathematics
455:Mathematics
148:free images
31:not a forum
645:Categories
629:CodeTalker
347:Philosophy
336:philosophy
282:Philosophy
251:is rated
88:if needed
71:Be polite
21:talk page
186:Archives
56:get help
29:This is
27:article.
598:in the
595:A053169
374:on the
253:C-class
199:90 days
154:WP refs
142:scholar
259:scale.
126:Google
583:Seven
413:Logic
287:Logic
240:This
169:JSTOR
130:books
84:Seek
633:talk
613:talk
600:OEIS
580:Five
577:Nine
366:High
162:FENS
136:news
73:and
524:???
176:TWL
647::
635:)
615:)
393:/
289:/
285::
197::
156:)
54:;
631:(
611:(
532:.
378:.
265::
191:1
188::
172:·
166:·
158:·
151:·
145:·
139:·
133:·
128:(
58:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.