>>663
君の考えるモデルの元は有限？無限？
上記を見るかぎり有限集合だけを対象としたいようだけど
有限集合は有限個しかないと思ってる？
無限個あるなら、モデルは１つにならないよ