# Curry's paradox

## Mathematical paradox named after Haskell Curry / From Wikipedia, the free encyclopedia

#### Dear Wikiwand AI, let's keep it short by simply answering these key questions:

Can you list the top facts and stats about Curry's paradox?

Summarize this article for a 10 year old

**Curry's paradox** is a paradox in which an arbitrary claim *F* is proved from the mere existence of a sentence *C* that says of itself "If *C*, then *F*". The paradox requires only a few apparently innocuous logical deduction rules. Since *F* is arbitrary, any logic having these rules allows one to prove everything. The paradox may be expressed in natural language and in various logics, including certain forms of set theory, lambda calculus, and combinatory logic.

The paradox is named after the logician Haskell Curry, who wrote about it in 1942.^{[1]} It has also been called **Löb's paradox** after Martin Hugo Löb,^{[2]} due to its relationship to Löb's theorem.