Russelli paradoks

Russelli paradoks on Bertrand Russelli poolt 1901. aastal avastatud paradoks, mis näitab, et Cantori ja Frege naiivne hulgateooria on vastuoluline.

Vaatleme hulka M, mille defineerima kõikide niisuguste hulkade hulka, mis ei ole iseenda elemendid. Teiste sõnadega: hulk A on hulga M element siis ja ainult siis, kui A ei ole A element.

Cantori süsteemis on M korrektselt defineeritud hulk. Kas M on iseenda element? Kui on, siis ta definitsiooni kohaselt ei ole hulga M element. Teiselt poolt, kui oletada, et M ei sisalda iseennast, siis ta peab jällegi hulga M definitsiooni kohaselt hulga M element. Sellepärast viivad väited "M on hulga M element" ja "M ei ole hulga M element" mõlemad vastuloni.

Frege süsteemis vastab M mõistele ei rakendu iseendale. Ka Frege süsteem viib vastuoluni: nimelt selgub, et on olemas selle mõistega määratletud klass, mis rakendub iseendale parajasti siis, kui ta ei rakendu iseendale.

Russelli paradoks on väga lähedane valetaja paradoksile.