Да, уверен, что мы имеем ввиду одно и то же. Может разве что немного поразному.
Этот прием позволяет избавиться от категории существования. Существует все, но каждая система живет в одном конкретном месте этого всего.

Рассматривая эту формулу в рамках парадигмы мира-автомата можно придумать множество интереснейших мысленных экспериментов.