Curry's paradox

GPTKB entity

Statements (24)
Predicate Object
gptkbp:instanceOf gptkb:paradox
gptkbp:category gptkb:paradox
gptkbp:consequence triviality (everything becomes provable)
gptkbp:describedBy gptkb:Compositio_Mathematica
gptkbp:example If this statement is true, then 2+2=5.
gptkbp:feature arises in certain formal systems
arises in naive set theory
does not require negation
gptkbp:field gptkb:logic
gptkb:mathematics
gptkb:philosophy
gptkbp:firstDescribed 1942
https://www.w3.org/2000/01/rdf-schema#label Curry's paradox
gptkbp:namedAfter gptkb:Haskell_Curry
gptkbp:problemFor gptkb:naive_set_theory
unrestricted formal logic
gptkbp:relatedTo gptkb:Russell's_paradox
gptkb:liar_paradox
self-reference
implication
gptkbp:uses material implication
self-referential statements
gptkbp:bfsParent gptkb:Haskell_Curry
gptkbp:bfsLayer 5