柯里悖论

Curry's paradox

a paradox in which an arbitrary claim F is proved from the mere existence of a sentence C that says of itself “If C, then F”

柯里悖论是一种悖论，由美国数理逻辑学家哈斯凯尔·柯里提出，并且以其命名。它也与马丁·雨果·洛布的洛布定理有关，故也被称为洛布悖论。