A general introduction to the initial value problem for Einstein's equations coupled to collisionless matter. The book contains a proof of future stability of models of the universe consistent with the current observational data and a discussion of the restrictions on the possible shapes of the universe imposed by observations.