Making Probability Mathematical