Goodsteinの定理
https://ja.wikipedia.org/wiki/グッドスタインの定理
主張
Goodstein数列
はかならず0で終了する
#数理論理学
#数学基礎論