原始帰納的関数の定義について

抄録

My object in writing this paper has been to simplify the usual schemata for defining primitive recursive functions. To do this, first, we simplify the recursion scheme by using a pairing function that I have originated.