Russellov paradoks

Russellov paradoks, Russellova antinomija (engl. Russell’s paradox; njem. Russell-Paradox; rus. парадокс Рассела), logički postupak kojim se dokazuje da skup svih višeelementnih skupova nije ni jednoelementni ni višeelementni skup. Promatraju se skupovi koji sadržavaju sama sebe kao element (e-skupovi), skupovi koji sadržavaju više elemenata (n-skupovi) i P-skup kojemu su elementi svi n-skupovi, a niti jedan element e-skup. Paradoks je u neodređenosti tvrdnje kakvo svojstvo ima P-skup, svojstvo n-skupa ili e-skupa. Ako bi P-skup bio n-skup, onda bi bio jedan od elemenata P-skupa (tj. sadržavao bi sama sebe, i bio bi e-skup). Ako bi P-skup bio e-skup, onda bi bio jedan od n-skupova (tj. bio bi n-skup). Zaključak je da P-skup ne može biti ni n-skupni e-skup. Nazvan po B. Russellu koji ga je 1901. razradio i opisao. → paradoks