We present a variation of Hurkens paradox, which can itself be seen as a variation of Reynolds result that there is no set theoretic model of polymorphism.

翻译：本文提出了一种Hurkens悖论的变体，该悖论本身可视为Reynolds关于多态性不存在集合论模型这一结论的变体。