もし、203に202へのアンカーがなく
「脱線ですが
　PRAで定義される帰納的関数の全体って可算じゃない？」
とだけ質問したならば、こう答えましたけど

「ええ、そうですが　それが何か？」