ブルバキの位相の和訳、vol.1 につき、 ZF - {正則性公理} でどれだけ定式化できるかの検証が終了しました。 例えば，準コンパクト一様空間から一様空間への連続写像が 一様連続になるとか、一様空間の分離完備化などは、 ZF - {正則性公理} の下で定式化可…