Roughly, Noetherian schemes are (locally) given by finitely many equations, and this makes it possible to make inductions on the number of equations.
Martin Brandenburg
- 63.1k
- 13
- 207
- 424