>>659
厳密さが問題で面白い興味深いということは無関係では？
>>658
分かりました。杉浦解析で区間縮小法の証明で有限個と有限個の
和は有限個であるとかっていうことを自明として扱っていて、それを
根拠に論証を進めてるんだけど、付録には有限集合の定義すら
書かれてないのが気になる。かなり重要な概念じゃないの？厳密に扱うべき