The main concern of the article is discovery of a method of forcing introduced by an American mathematician Paul Cohen as an effective technique in logic that has found wide application in the theory of proof, moreover, has strictly ontological consequences. The very possibility of its implementation indicates that the being is organized in such a way as to allow us to, provided a certain set of conditions being met, to “force” some nonsolvable propositions to become true. Although all truths are to be produced by a subject, at the same time they still belong to the world subject’s actions cannot “force” the truth of any proposition he wants, but only of those which are nonsolvable within the ontology in question. By making decision, unconditioned from the point of view of that world he lives in, and being irrationally confident in reality of the event, “faithful subject” is capable to change the world.

В статье обосновывается идея того, что метод форсинга, открытый американским математиком Полом Коэном, не только стал чрезвычайно эффективной логической техникой и широко применяется в теории доказательств, но имеет еще и сугубо онтологические следствия. Сама возможность его реализации указывает нам на такое устройство бытия, при котором мы при соблюдении ряда условий способны «заставить» некоторые неразрешимые утверждения стать истинными. Несмотря на то что все истины производятся Субъектом, они остаются при этом истинами мира — действия Субъекта «вынуждают к истине» именно неразрешимые в онтологии, а не любые суждения. Принимая ничем не мотивированное с точки зрения того мира, в котором он живет, решение и продолжая иррационально верить в то, что событие все же имело место, «верный субъект» тем самым изменяет мир.