 We could instead attach probabilities to members of a collection \(\mathbf{S}\) of sentences of a formal language, closed under (countable) truth-functional combinations, with the following counterpart axiomatization: