柯里悖论

Also known as Löb'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”