論理学者のytb先生にask.fmで質問をしてみたら回答があった。 照井先生の著書を読んでいたら、ロビンソン算術QにΣ1式の帰納法を足した体系では原始再帰的関数が定義可能になる、… — いい質問ですね！それは、何をメタ理論とするかという、論理学における本質…