0227132人目の素数さん垢版 | 大砲2018/09/22(土) 12:33:04.37ID:brB6HAEO 位相空間Xがコンパクトかつハウスドルフならば正規空間であることの証明ですが これって選択公理使ってますか?