A Variation of Reynolds-Hurkens Paradox
摘要
We present a variation of Reynolds-Hurkens paradox formulated as the non existence of a powerful triple in the proof system HOL.