正則性公理 - くるるの数学ノートの続き。早速酒井さんにツッコまれました(ヒビルテ(2006-06-08))。id:nucさんからも返答が([不動点 - 白のカピバラの逆極限 S.144-3)。id:yoriyukiさんもAczelを挙げています。恥ずかしながらAFAを知らなかったのでググって…