форсинг

Also known as unramified forcing

метод, изобретенный Полом Коэном для доказательства непротиворечивости и независимости результатов в теории множеств