David Hilbert
设formula_1为一个环，记formula_2为formula_1上以formula_4为变量的的多项式组成的环。大卫·希尔伯特证明了只要formula_1不是“太大”——即formula_1为诺特环——那么formula_2也具有相同性质。形式上，