Mathematical Formulation of Uncertainty Quantification