b'\n_START_ARTICLE_\nParadoja de Curry\n_START_PARAGRAPH_\nLlamada as\xc3\xad por Haskell Curry, la paradoja de Curry ocurre en teor\xc3\xada ingenua de conjuntos o en l\xc3\xb3gicas ingenuas._NEWLINE_Intuitivamente, la paradoja de Curry es: \xc2\xabsi no me equivoco, Y es verdad\xc2\xbb, donde Y puede ser cualquier declaraci\xc3\xb3n l\xc3\xb3gica (\xc2\xabel negro es blanco\xc2\xbb, \xc2\xab1=2\xc2\xbb, \xc2\xabG\xc3\xb6del existe\xc2\xbb, \xc2\xabel mundo terminar\xc3\xa1 en una semana\xc2\xbb); si se llama esa declaraci\xc3\xb3n X, entonces se tiene que X afirma \xc2\xabSi X es verdad, entonces Y es verdad\xc2\xbb._NEWLINE_Consid\xc3\xa9rese la siguiente declaraci\xc3\xb3n X: \xc2\xabSi esta declaraci\xc3\xb3n es verdad, el mundo terminar\xc3\xa1 en una semana\xc2\xbb, que ser\xc3\xa1 abreviada como \xc2\xabsi X es verdad, entonces Y\xc2\xbb. Por lo tanto, al asumir X, Y es verdad. La declaraci\xc3\xb3n anterior se puede reformular como \xc2\xabsi X es verdad, entonces Y\xc2\xbb. Porque esa declaraci\xc3\xb3n verdadera es equivalente a X, X es verdad. Por lo tanto, Y es verdad, y el mundo terminar\xc3\xa1 en una semana. _NEWLINE_Cualquier cosa se puede probar semejantemente v\xc3\xada la paradoja de Curry. Obs\xc3\xa9rvese que a diferencia de la paradoja de Russell, esta paradoja no depende de qu\xc3\xa9 modelo de la negaci\xc3\xb3n se utiliza, pues est\xc3\xa1 completamente libre de negaci\xc3\xb3n l\xc3\xb3gica. As\xc3\xad las l\xc3\xb3gicas paraconsistentes todav\xc3\xada necesitan tener cuidado. La resoluci\xc3\xb3n de la paradoja de Curry es un tema contencioso porque las resoluciones no triviales (tales como rechazo de X directamente) son dif\xc3\xadciles y no intuitivas. En las teor\xc3\xadas de conjuntos que permiten la comprensi\xc3\xb3n sin restricci\xc3\xb3n, podemos probar cualquier declaraci\xc3\xb3n l\xc3\xb3gica Y a partir del conjunto_NEWLINE_La prueba procede:'