Editing Curry's paradox (section)

=== Consequences for some formal logic ===

In the 1930s, Curry's paradox and the related [[Kleene–Rosser paradox]], from which Curry's paradox was developed,<ref>{{cite journal |last=Curry |first=Haskell B. |date=Jun 1942 |title=The Combinatory Foundations of Mathematical Logic |journal=Journal of Symbolic Logic |volume=7 |pages=49&ndash;64 |doi=10.2307/2266302 |jstor=2266302 |s2cid=36344702 |number=2}}</ref><ref name=":0">{{cite journal |last=Curry |first=Haskell B. |date=Sep 1942 |title=The Inconsistency of Certain Formal Logics |journal=The Journal of Symbolic Logic |volume=7 |issue=3 |pages=115–117 |doi=10.2307/2269292 |jstor=2269292 |s2cid=121991184}}</ref> played a major role in showing that various formal logic systems allowing self-recursive expressions are [[Consistency|inconsistent]]. 

The axiom of unrestricted comprehension is not supported by [[Zermelo–Fraenkel set theory|modern set theory]], and Curry's paradox is thus avoided.