[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