Foundations of probability