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