もっといえば任意の部分帰納的関数は可算無限個の指標を持つ.
部分