Curry's Paradox

A paradox about Implication, wherein an arbitrary claim $P$ can be proven by the existence of a sentence $C$ that says itself $C⟹P$. It is a Self-Referential Paradox

Paradox

• This sentence is called $C$, $C⟹P$
• Follows from the mere existence of this sentence that $P$ is true