「帰納的に定義する」とはなにか？

この記事は日曜数学 Advent Calendar 2019 5日目のものです.

adventar.org

数学に於いて帰納的に定義することはなんどかありえる. そこで帰納的に定義することそのものを抽象化しその性質を調べることは重要であるように思える. 今回は帰納的定義の理論の初等的な結果を紹介する.

drive.google.com