While the Big Bang model is well established in cosmology, it is likely to be refined in the future. These theorems have to assume what singularity is correct