Т.к. нас интересует не более чем счетное (а скорее вообще конечное) множество утверждений, то мы можем получающийся порядок вложить в

. А дальше, если при этом вложении будут выполнены некоторые "естественные" свойства - ну там скажем "уверенность в

есть функция от уверенностей в

и (уверенности в

, если нам уже известно

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

).
На практике у нас проблемы будут уже с определением линейного порядка - я сомневаюсь, что для всяких сложных утверждений на границе точности приборов удастся хорошо оценить, что правдоподобнее.