t_wの輪郭

外延
外延性公理