Где можно почитать о вероятностных пространствах

, где

— множество всех интерпретаций какого-нибудь языка первого порядка и

содержит все (или разумное количество, если это невозможно — и вопрос, возможно ли, как раз весьма интересен) множества

, где

— какая-нибудь теория.
Можно было бы нормально описать вопросы, ответы, релевантность, количество информации, которое несёт ответ и наверняка что-нибудь ещё интересное.