IrinaN Mar 19:

Есть небольшое количество ссылок с употреблением "вероятностное утверждение", но я в жизни не буду предлагать математические термины, не квалифицирована :-)

https://web.math.princeton.edu/~nelson/books/rept/rept-rus.p...

Чтобы получить традиционную теорему из ее элементарного
аналога, нам нужно показать, что внутренние аналитические предположения влекут аналогичные внешние аналитические предположения
и что внешнее вероятностное утверждение влечет аналогичное внутренее вероятностное утверждение