generated at
原始帰納述語
定義関数が原始帰納的である述語のこと
\mathbb{N}^n\to\{0,1\}となる原始帰納的関数
booleanを返す関数