2020-08-23から1日間の記事一覧

ブルバキ位相の検証

日記

今、ブルバキの位相 vol.1 の内容を検証しています。検証の目的は、ZF - {正則性公理} の範囲で、どれだけ定式化が可能かを見るためです。すでに、第1章は終わりましたので、第2章の一様空間論に入ります。