> 第一、「開集合の公理」といった時点で、そういう公理があることが前提で、それみたすこと確かめるまでは位相じゃないじゃん
だから確かめるんだろ。バカかよ。