「ある性質を持つ順序数のうち最小のもの」ってのはAC使わないと選べないものなの?