In this paper he proved the Mordell-Weil theorem for elliptic curves over $\mathbb{Q}$ (the group of rational points is finitely generated), and he stated the Mordell conjecture (curves of genus >1 over $\mathbb{Q}$ have only finitely many points), which was one of the most important open problems in mathematics until Faltings proved it in 1983.