無限小構造導入すると環構造を保つために、一緒に有限概念を拡張することになるのだけど、拡張有限を有限だよねはーと、として考えるとハイネ•ボレルなんかは感覚通りに証明書けば通るようになるの不思議なんだよな。ほんと有限ってなんなんですかね…