Solution (source code)

= Solution

The assertion is false. The <integer>[integers] $\mathbb Z$ form a <Noetherian ring>, since every <ideal> is <principal ideal>[principal], but this ring is not an <Artinian ring>: the strictly descending chain
$$
(2)\supsetneq(2^2)\supsetneq(2^3)\supsetneq\cdots
$$
never stabilizes.