Paradosso di Curry

Il paradosso di Curry è un paradosso della teoria ingenua degli insiemi, e deve il suo nome al logico e matematico statunitense Haskell Curry che lo pubblicò nel 1942. Esso è basato sulla costruzione di un'affermazione autoreferenziale da cui si possono dedurre, tramite alcune semplici regole di inferenza, l'asserzione stessa ed ogni altra proposizione.