„Cantor-tétel” 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
Dexbot (vitalap | szerkesztései)
a Removing Link FA template (handled by wikidata)
a Precízebb fogalmazás: nem állítottuk, hogy mindenkiről neveztek el bizottságot.
35. sor:
Most már az a kérdés, hogy végére érhet-e a jegyző ennek a munkának, vagy akárhogy is igyekszik, nem tud minden bizottságnak nevet adni (az egyszerűség kedvéért tegyük fel, hogy végtelen idő áll rendelkezésére). A galaxis egy matematikusát kérte meg, hogy adjon erre választ.
 
A matematikus sejtette, hogy a jegyző nem tudja elnevezni a bizottságokat, ezért így okoskodott. "Tegyük fel, hogy a munkát el tudod végezni. Ekkor lesznek olyan galaxislakók, akik tagjai lesznek a saját magukról elnevezett bizottságnak, és lesznek olyanok, akik nem. Nevezzük a Szerények Bizottságának azt a bizottságot, mely azokból a lakosokból áll, melyekakikről neveztek el bizottságot, de ők nem tagjai a saját magukrólróluk elnevezett bizottságnak. Feltevésünk szerint a Szerények Bizottságát is el tudnád nevezni valakiről. De vajon a Szerények Bizottságának névadója tagja a Szerények Bizottságának vagy nem? Ha tagja, akkor nem szerény, miközben a Szerények Bizottságának tagja. Ha nem tagja, akkor viszont tagja kell, hogy legyen a róla elnevezett bizottságnak. Mindenképpen ellentmondásra jutunk, és te nem fogod tudni ily módon rendbe szedni a bizottságokat."
 
== Források ==