t_wの輪郭

axiom
冪集合の公理