[FOM] The Gold Standard
Arnon Avron
aa at tau.ac.il
Sun Feb 19 10:43:37 EST 2006
On Sat, Feb 18, 2006 at 02:01:50AM -0500, Harvey Friedman wrote:
> ZFC + large large cardinals. Justification:
> "inconsistencies should be easy
> and not take long to find, like Kunen's for ZFC + j:V into V, and this
> hasn't happened yet over a 'long' period of time", and "go for it!"
Great. So from now on I recommend to accept and use NF. Justification:
"inconsistencies should be easy
and not take long to find, like Kunen's for ZFC + j:V into V, and this
hasn't happened yet over a 'long' period of time", and "go for it!"
Arnon Avron
More information about the FOM
mailing list