„Szerkesztő:Gubbubu/Halmazelmélet/Russell tételei” változatai közötti eltérés

Amint az [[#Russell első tétele|első Russell-tétel]] bizonyítása után feltett [[#Az ellentmondássá átfogalmazhatóság kérdése|második kérdésből]] is sejthető, a Russell-antinómiától valójában nem olyan könnyű megszabadulni. A paradoxon következő, osztályelméleti keretben újrafogalmazott változata azt mutatja, hogy a Russell-paradoxon bizonyos értelemben a NBG(U)-elmélet számára is kihívást jelent, legalábbis nem mehetünk el mellette magyarázat nélkül; noha - véleményünk szerint - a NBG(U)-elmélet keretében e második változat sem jelent logikai ellentmondást.