Beyond the horizon to unknown territories: The singularity inside black holes

We study the Cauchy horizon singularity inside a spherical charged black hole, coupled to a self-gravitating scalar field. We show that all the radial causal geodesics terminate at a weak singularity according to the Tipler classification. Our result is valid anywhere along the singularity, in particular in the regime where nonlinear effects are crucial.