>>594
つ帰納的可算集合