则F」, 只需要一些显然无害的逻辑推导规则， 就可以推导出：仅从句子C的存在就证明了任意主张F。由于F是任意的，因此遵循这些逻辑规则的任何逻辑系统都可以证明所有命题, 这就引起矛盾（见：柯里悖论#自然语言论证）, 违反了经典逻辑的无矛盾律；因此，这是一个悖论。当今哲学家所使用的“柯里悖论”一词，指的是一类多样化的悖论，具有自指性（self-reference）或循环性（circularity），并且其悖论根源的发现可追溯到柯里（1942）和洛布（1955）的贡献。该悖论可以用自然语言和各种形式逻辑来