section_heading: Hilbertov osnovni teorem
paragraph_text: Hilbert je došao do dokaza kontradikcijom koristeći se matematičkom indukcijom. Njegova metoda nam ne daje algoritam koji će proizvesti konačno mnogo osnovnih polinoma za dani ideal, nego samo pokazuje njihovo postojanje.