というか普通の数学では言語をはっきり固定して議論しない、
がFAかと

イデアルの昇鎖列が有限ステップで止まるといったときに
そんなことを考えるのはルール違反だという訳にもいかんし