Noetherian induction is one of the most general induction principles used in formal
reasoning. In the frame of the first-order reasoning, we propose a classification of its …