generated at
原始帰納的算術
https://ja.wikipedia.org/wiki/原始帰納的算術
スコーレム算術とも言う？