MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

By the primitive element theorem, $K=\mathbb{Q}(\alpha)$ for some nonzero $\alpha \in K$, and we may assume that the minimal polynomial $f(x)$ of $\alpha$ has integer coefficients. Let $\Delta$ be the discriminant of $f$. Since $K/\mathbb{Q}$ is Galois, a prime $p \nmid \Delta$ splits completely in $K$ if and only if there is a degree $1$ prime above $p$, which is if and only if $p | f(n)$ for some $n \in \mathbb{Z}$. Suppose that the set $P$ of such primes is finite. Enlarge $P$ to include the primes dividing $\Delta$. Let $t$ be a positive integer such that $\operatorname{ord}_p t> \operatorname{ord}_p f(0)$ for all $p \in P$. For any integer $m$, we have $f(mt) \equiv f(0) \;(\bmod \; t)$, so $\operatorname{ord}_p f(mt) = \operatorname{ord}_p f(0)$ for all $p \in P$. But $f(mt) \to \infty$ as $m \to \infty$, so eventually it must have a prime factor outside $P$, contradicting the definition of $P$.
By the primitive element theorem, $K=\mathbb{Q}(\alpha)$ for some nonzero $\alpha \in K$, and we may assume that the minimal polynomial $f(x)$ of $\alpha$ has integer coefficients. Let $\Delta$ be the discriminant of $f$. Since $K/\mathbb{Q}$ is Galois, a prime $p \nmid \Delta$ splits completely in $K$ if and only if there is a degree $1$ prime above $p$, which is if and only if $p | f(n)$ for some $n \in \mathbb{Z}$. Suppose that the set $P$ of such primes is finite. Enlarge $P$ to include the primes dividing $\Delta$. Let $t$ be a positive integer such that $\operatorname{ord}_p t> \operatorname{ord}_p f(0)$ for all $p \in P$. For any integer $m$, we have $f(mt) \equiv f(0) \;(\bmod \; t)$, so $\operatorname{ord}_p f(mt) = \operatorname{ord}_p f(0)$ for all $p \in P$. But $f(mt) \to \infty$ as $m \to \infty$, so eventually it must have a prime factor outside $P$, contradicting the definition of $P$.