Antynomia Russella: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
→Paradoks: int. |
|||
Linia 6:
: <math>V = \bigl\{X\colon X \notin X\bigl\}.</math>
Zbiór taki istnieć nie może, ponieważ rozpatrując pytanie o to, czy <math>\scriptstyle V</math> jest elementem <math>\scriptstyle V</math>, dochodzi się do sprzeczności: jeśli byłby, to wtedy <math>\scriptstyle V</math> nie spełnia własności elementów zbioru <math>\scriptstyle V,</math>, a więc nie jest elementem <math>\scriptstyle V;</math> jeśli zaś <math>\scriptstyle V</math> nie byłby elementem <math>\scriptstyle V,</math>, to <math>\scriptstyle V</math> musi być elementem <math>\scriptstyle V</math> na mocy definicji tego zbioru<ref>{{cytuj stronę|url=http://encyklopedia.pwn.pl/haslo.php?id=3954199|tytuł=Paradoks Russella|opublikowany=encyklopedia.pwn.pl|data dostępu=2011-04-14}}</ref>.
== Komentarz ==
|