A conservative extension of the classical first order logic which allows making statements about probability is introduced. Some classes of probability models are described. An infinitary axiomatic system which is sound and complete with respect to these classes of models is given.