数字mのグッドスタイン数列をg(m)と書き、次のように定義する。