hyuki https://blog.hatena.ne.jp/hyuki/ 結城浩のはてなブログ https://hyuki.hatenablog.com/ くるるの数学ノートを読んで。 超限帰納法というのはすなわちωより大きい順序数に拡張された帰納法です。一番普通な形としてはこんな感じ。「φを述語とする。全ての順序数αに対して、もし全ての順序数β おもしろいです…。 「全ての順序数β 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhyuki.hatenablog.com%2Fentry%2F20060617%2Find" title="超限帰納法 - 結城浩のはてなブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-06-17 00:00:00 rich https://hyuki.hatenablog.com/entry/20060617/ind 1.0 100%