Currys Paradoxon

Currys Paradoxon ist ein Paradoxon, das Haskell Curry 1942 beschrieb; es erlaubt die Ableitung einer beliebigen Aussage aus einem selbstbezüglichen Ausdruck, der seine eigene Gültigkeit voraussetzt, mittels einfacher, allgemeiner logischer Regeln. Er zeigte auf diesem Weg die Inkonsistenz von Axiomensystemen mit solch einem Ausdruck.