noetherian induction Synonyms