I never did the symmetric polynomial approach, Artin's is much easier. I don't know that it would be true that every quantic polynomial's galois group would be S_5
For $p,q,r,s$ in some field, how would I prove from the field axioms that $\dfrac{p}{q}\cdot\dfrac{r}{s}=\dfrac{pr}{qs}$, i.e., $(pq^{-1})(rs^{-1})=(pr)(qs)^{-1}$?
Assuming you've defined a field to be a commutative division ring via the notion of group of units, uniqueness is implied. mathein's approach is the correct way.
@DavidReed the notion of a "general polynomial" is a bit strange. The general polynomial over a field always has Galois group $S_n$ even if there is not polynomial over the field with Galois group $S_n$