結局ヒドラもベクレミシェフの虫もFGHもグッドスタイン数も、
・順序数と同じ木構造を作れること
・超限順序数の部分を引数 n に比例して展開することで
　「引数 n さえ増やせば自分より小さい順序数による関数を必ず超えられる」
　という性質を付加すること
という部分をいろんな実装を使って実現してるだけだね