帰納的集合
【きのうてきしゅうごう】
【kinoutekisyuugou】
递归集