Llamada así por Haskell Curry, la paradoja de Curry ocurre en teoría ingenua de conjuntos o en lógicas ingenuas.