Antifoundation
早速酒井さんにツッコまれました(ヒビルテ(2006-06-08))。id:nucさんからも返答が([不動点 - 白のカピバラの逆極限 S.144-3)。id:yoriyukiさんもAczelを挙げています。
恥ずかしながらAFAを知らなかったのでググってみました。割と良かったのがwikipediaの英語版(Non-well-founded set theory - Wikipedia, the free encyclopedia)。
下のほうを見ると、Aczelの本がネットで読めることがわかります(http://standish.stanford.edu/bin/detail?fileID=1817023219)。
Aczelの本の最初の方をぱらぱらと眺めてみました。つまりある一定の性質を満たすグラフを集合とみなすってことですね。うーん、こういうのだとエミュレーションって気分になってしまいます。心底ZFCに侵されてますね、私の脳は。
いずれにしても勉強になりました。皆さんありがとうございました。
