The mainstream in the theories of possible worlds, so called Actualism, is currently predominated by the theories, which define possible worlds as set-theoretical objects composed of propositions.