  We give here a constructive account of the frequentist approach to
probability, by means of natural density. Using this notion of natural density,
we introduce some probabilistic versions of the Limited Principle of
Omniscience. Finally we give an attempt general definition of probability
structure which is pointfree and takes into account abstractely the process of
probability assignment.
