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”
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).