 Thus we show that any arbitrary proposition is derivable in this naïve set theory. This is the infamous Curry Paradox. The existence of this paradox has led Grishen, Brady, Restall, Priest, and others to abandon the axiom of contraction \(((A \rightarrow  (A \rightarrow B)) \rightarrow(A \rightarrow B))\). Brady has shown that by removing contraction, plus some other key theses, from \(\mathbf{R}\) we obtain a logic that can accept naïve comprehension without becoming trivial (Brady 2005).