t_wの輪郭

性外延
外延性公理