  We prove the existence of subspace designs with any given parameters,
provided that the dimension of the underlying space is sufficiently large in
terms of the other parameters of the design and satisfies the obvious necessary
divisibility conditions. This settles an open problem from the 1970s. Moreover,
we also obtain an approximate formula for the number of such designs.
