t_wの輪郭

axiom
外延性公理