Our main result is a proof of the completeness theorem for an infinitary intuitionistic logic with both ordinary and probability quantifiers with respect to the Kripke semantics.