Grzegorczyk階層
Andrzej Grzegorczyk
グジェゴルチク階層に属す任意の関数は
原始再帰的関数
であり、逆に任意の原始再帰関数はこの階層のあるレベルに現れる。
https://ja.wikipedia.org/wiki/グジェゴルチク階層