型と集合

Java

風邪引いた。

http://d.hatena.ne.jp/nowokay/20090308 をみてて思ったのですが、id:SiroKuro さんが議論していたことは

前提

  • クラスの定義がまずある
  • 任意のクラスの定義Dに対し、型type(D)が定義される
  • 任意のクラスの定義Dに対し、クラスclass(D)が定義される

命題

  • type と class は同型か
    • (むしろ、type, classをどう定義すれば腑に落ちるか)

ということであると思ってて、ZFCっぽくない集合がどうとかって言うのは本質から外れるんじゃないかなぁ。もちろん制約のひとつであるとは思いますが。