可能世界を刈り込んでいるというのは、どう集合論的に「図示」できるのだろう？見本空…

可能世界を刈り込んでいるというのは、どう集合論的に「図示」できるのだろう？見本空間というのは、そこだけ違っているものが同じだけあるということで、拡張できて…。コペルニクス原理に対照させて…。型理論を使うのかなぁ。
JRF 2008年11月26日