t_wの輪郭

axiom
正則性公理