In mathematics, Hilbert's basis theorem asserts that every ideal of a polynomial ring over a field has a finite generating set.