Intuitivamente, la paradoja de Curry es: «si no me equivoco, Y es verdad», donde Y puede ser cualquier declaración lógica («el negro es blanco», «1=2», «Gödel existe», «el mundo terminará en una semana»); si se llama esa declaración X, entonces se tiene que X afirma «Si X es verdad, entonces Y es verdad».