Probabilistic measure theory Foundations and measure-theoretic probability mathematics