Метод форсинга на пальцах можете объяснить?

[Посторонний]

Метод форсинга на пальцах можете объяснить?

Нужно объяснение типа как метод мат.индукции объясняют: представим очередь, в которой
первой стоит женщина, и за каждой женщиной снова стоит женщина, тогда очевидно, что
в этой очереди стоят только женщины...

Есть какое-нибудь простенькое объяснение метода форсинга?
или придумайте объяснение, если нету...

ps. (добавлено при редактировании) метод форсинга - он же метод вынуждения,
генерические множества и прочее...

[Dan B-Yallay]

Предпочел бы отмолчаться потому что неспециалист, но вижу - из них никто не отвечает. Потому прошу строго не судить ...

С методом форсинга близко не знаком - только ОЧЕНЬ понаслышке, поэтому действительно будет "на пальцах". Если не в тему - не обессудьте.

Пусть задана система аксиом {$A_1, ..., {A_n}$} и теория $T$ основанная на них (как правило это ZFC или некоторое расширение ZFC). Нам нужно доказать что высказывание $B$ не противоречит $T$
Вывести $B$ из {$A_1, ..., A_n$} "в лоб" не получается. Тогда присоединяем это высказывание $B$ в качестве дополнительной аксиомы к нашей системе. Далее "задачка для детсада" : показываем что расширенная система аксиом {$A_1, ..., A_n \cup B$} не содержит противоречий. Причем доказываем это средствами первоначальной теории $T$.

Если не ошибаюсь, методом форсинга была показана независимость Континуум Гипотезы.

При наличии английского можно глянуть сюда :
http://en.wikipedia.org/wiki/Forcing_(mathematics)