Goodsteinの定理
全ての
グッドスタイン数列
は必ず0で終わる
https://www.youtube.com/watch?time_continue=2&v=Q7PpH1dhVeQ&feature=emb_logo
https://ja.wikipedia.org/wiki/グッドスタインの定理