Corollaryは必然に。

この記事は、日曜数学会 Advent Calender 2019の6日目の記事であり、2019年11月3日に行われたロマンティック数学ナイトプライム@筑波大学で発表した内容をブログ用に加筆修正したものです。前回はAlweさんの「帰納的に定義する」とはなにか？で、帰納的に定義することは○○○○○を与えることと同じという話でした。Bernstein…