[FOM] A proof that ZFC has no any omega-models

Timothy Y. Chow tchow at alum.mit.edu
Thu Feb 21 22:35:33 EST 2013

Monroe Eskew wrote:

> Hence my conclusion, the advocacy of this scheme would be just a 
> philosophical footnote, and should not make set theory any more 
> palatable to those who want more conservative mathematical assumptions, 
> unless their concerns are purely metaphysical.

It seems to me that the camp of people whose "concerns are purely 
metaphysical" is pretty large.  Isn't metaphysics one of the main driving 
forces behind conservative mathematical assumptions?

Whether or not it's "just a philosophical footnote," it seems like a 
significant observation to me if it adequately addresses the metaphysical 
objections to set theory.


More information about the FOM mailing list