Hilbert's basis theorem en · PROPN Meanings A theorem stating that a polynomial ring over a Noetherian ring is Noetherian.