It's a result related in spirit to Minkowski's theorem that $\mathbb Q$ admits no non-trivial unramified extensions.  If $A$ is an abelian variety over $\mathbb Q$ with everywhere good reduction, then for any integer $n$ the $n$-torsion scheme $A[n]$ is a finite flat group scheme over $\mathbb Z$.  Although this group scheme will be ramified at primes $p$ dividing $n$, Fontaine's theory shows that the ramification is of a rather mild type: so mild, that 
a non-trivial such family of $A[n]$ can't exist.

In the last 25 years, there has been much research on related questions, including by 
Brumer--Kramer, Schoof, and F. Calegari, among others.  (One particularly interesting recent variation is a joint paper of F. Calegari and Dunfield in which they use related ideas to construct a tower of closed hyperbolic 3-manifolds that are rational homology spheres, but whose injectivity radii grow without bound.)

EDIT: I should add that the case of elliptic curves is older, due to Tate I believe,
and uses a different argument: he considers the equation computing the discriminant of 
a cubic polynomial $f(x)$ (corresponding to the elliptic curve $y^2 = f(x)$) and shows
that this solution equation has no integral solutions giving a discriminant of $\pm 1$.

This direction of argument generalizes in different ways, but is related to a result of Shafarevic (I think) proving that there are only finitely many elliptic curves with good reduction outside a finite set of primes.  (A result which was generalized by Faltings to abelian varieties as part of his proof of Mordell's conjecture.)