This book mathematically derives the theory underlying the Belinski-Khalatnikov-Lifshitz conjecture on the general solution of the Einstein equations with a cosmological singularity.