この記事は日曜数学 Advent Calendar 2019 5日目のものです. adventar.org 数学に於いて帰納的に定義することはなんどかありえる. そこで帰納的に定義することそのものを抽象化しその性質を調べることは重要であるように思える. 今回は帰納的定義の理論の初…