Paradoks to twierdzenie, które chociaż wydaje się wynikać z przyjętych przesłanek, jest sprzeczne z jakimiś naturalnymi intuicjami lub innymi twierdzeniami.

Istnienie paradoksów w najlepszym razie powoduje intelektualny dyskomfort a w najgorszym – świadczy o logicznej ułomności systemu, na gruncie którego daje się sformułować. Jeśli chcemy wyeliminować paradoksy, to możemy bądź zmodyfikować intuicje (uznając, że są one po prostu błędne a ich naturalność była pozorna) bądź poprawić system formalny, na gruncie którego paradoksalne twierdzenie zostało uzasadnione.

W wystąpieniu przedstawione będę niektóre typowe paradoksy a także narzędzia, które służą do ich eliminacji.