Матемаг
таким образом резюмируя
1. У нас есть некое пространство состояний - возможно бесконечномерное.
2. У нас есть некая функция достижимости над множеством упорядоченных пар точек пространства состояний
3. Нам ничего не мешает ввести для пространства состояний сигма-алгебру его подмножеств.
4. И определить на ней конечную сигма-аддитивную меру.
И никаких проблем со стороны математики нет.

А то про что ты говоришь - это
5. Но мы, как люди, с конечным разумом и конечными данными, скорее всего не сможем полностью задать функцию достижимости, и соответственно ввести такую меру, которая бы учитывала ещё и функцию достижимости (необходимость учитывать которую в данном контексте вообще говоря и не обязательно)
Но, повторюсь, это не ограничения математики.