Mathematical model of probability theory