ブルバキ位相の検証

今、ブルバキの位相 vol.1 の内容を検証しています。

検証の目的は、ZF - {正則性公理} の範囲で、どれだけ定式化が可能かを見るためです。

すでに、第1章は終わりましたので、第2章の一様空間論に入ります。