„Russell-paradoxon” változatai közötti eltérés
| [ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a →A Russell-paradoxon közérthető formái: az eredeti forma is közérthető a mai tapasztalatok szerint, sőt a formalizálás miatt kevesebb, átverésre gyanakvó rákérdezést |
a Túl hosszú a bevezető, a precíz matematikai leírást az első alcímbe helyeztem. |
||
2. sor:
A paradoxon olyan érvelést használ, amelyhez hasonlóak tulajdonképp már több ezer éve ismertek voltak (ld. [[Epimenidész-paradoxon]]). Azt, hogy a paradoxonhoz vezető érvelés a halmazelmélet ill. logika matematikai elméletének ellentmondásosságát okozhatja, többen is felfedezték a tizenkilencedik század végén; például [[Ernst Zermelo]] matematikus és [[Bertrand Russell]] filozófus.
== A Russell-paradoxon naív halmazelméleti formában ==
A paradoxon formális definíciója a következő: legyen ''R'' azon [[halmaz]]ok halmaza, amelyek nem tartalmazzák saját magukat:
| |||