FOM: Axiom of Extensionality

Thomas Forster T.Forster at dpmms.cam.ac.uk
Sat May 18 07:17:03 EDT 2002


Dean's worries have something to do with the axiom of foundation.
The plausibility of the cumulative hierarcy conception of sets is
tied up with the plausibility of the idea that a set cannot exist
``until'' (scare-quotes) its members do.  If he places his faith
in AxFund he will be able to sleep soundly in its bosom.  On the
other hand, if he deosn't, he will Live In Interesting Times.
         Thomas




More information about the FOM mailing list