Paradoks zbioru wszystkich zbiorów: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
Nieprawda, że powyższe rozumowanie "dowodzi niemożności skonstruowania zbioru, który (...)" - ono jedynie powołuje się na twierdzenie, przy którym jest to dowodzone. |
|||
Linia 10:
Np. definicja Z={X:1=1} pozornie określa ''zbiór wszystkiego'', w rzeczywistości określa ona [[Klasa (matematyka)|klasę właściwą]] a nie zbiór.
W [[teoria mnogości#Aksjomatyczna teoria mnogości|aksjomatycznej teorii mnogości]] powyższe rozumowanie dowodzące niemożności skonstruowania zbioru, który by zawierał swój własny zbiór potęgowy, jest także dowodem na nieistnienie zbioru wszystkich zbiorów.
== Zobacz też ==
|