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に侵されてますね、私の脳は。

いずれにしても勉強になりました。皆さんありがとうございました。