and became a foundational result of algebraic geometry.

There are several formulations of the Nullstellensatz, the most elementary of which deal with conditions for the existence of solutions to systems of multivariate polynomial equations over an algebraically closed field (such as the complex numbers ). The weak Nullstellensatz is a corollary (or a lemma, depending which is proved first) of the Nullstellensatz