(Q899616)

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”