>>19
それは関数のモデルであって関数自体ではない
空集合、{空集合}、{空集合、{空集合}}、...という列が0、1、2、...と違うのと同じ
ただ単に似たものを作ってるだけ