無限小構造導入すると環構造を保つために、一緒に有限概念を拡張することになるのだけど、拡張有限を有限だよねはーと、として考えるとハイネ•ボレルなんかは感覚通りに証明書けば通るようになるの不思議なんだよな。ほんと有限ってなんなんですかね…
Wayla(わいら) 投稿者
きちんと言う為にはガチガチのモデ論の議論が必要だけど、感覚的にはそれはそう、なんだよな。