>>801
無理数は集合でない