Dictionnaire

S(x)=S(y)~\to ~x=y,} それと原始帰納的関数の定義式すべてである。例えば原始帰納的関数の最も一般的な特徴付けは、ゼロと後者を含み、射影、関数合成、原始再帰で閉じている、というものである。そこで、(n+1)-変数関数（を表す記号, 以下省略） f が原始再帰によって n-変数の基底関数 g と