>>202
PRAで定義される帰納的関数の全体って可算じゃない?比嘉さんになりそうな気がしないけど