Goodstein's theorem

Proper noun

(mathematics) A theorem stating that every Goodstein sequence eventually terminates at zero.

Japanese Meaning

【数学】任意のグッディンシュタイン系列が最終的に0に到達することを示す定理。

In my logic class, we spent the semester exploring Goodstein's theorem and its surprising connection to ordinal analysis.

論理学の授業で、学期を通してグッドスタインの定理と、それが順序数解析と結びつくという驚くべき関係を探究しました。

Sense（1）

(mathematics) A theorem stating that every Goodstein sequence eventually terminates at zero.