Noetherianity from the internal point of view
Some clarifications