Also known as unramified forcing
метод, изобретенный Полом Коэном для доказательства непротиворечивости и независимости результатов в теории множеств
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).