うむ

まるで意識していませんでしたが、今日の大きなエントリ二つはともに整礎な構造についてってことなりますね。と思ってみたら、大翔さんが数学って面白い!? : 無限降下法 - livedoor Blog(ブログ)なんて記事を書いていることを発見。これも実質的に自然数が整礎であることを利用した帰納法なんですよね。シンクロニシティ?