Probabilistic canonical systems

The Post's canonical systems with probabilistic measure on inferences are considered. The sets of words derivable with probability ${}>\lambda$ ($\lambda\operatorname{real}$) are investigated. The relations of those sets to the set of all derivable words are studied. Sufficient conditions are stated for the convergence to 1 of the probability to derive any derivable word when number of trials is increased.