Mathematical Basis of Big Bang Cosmology