[FOM] How much of math is logic?

Cristian Cocos cristi at ieee.org
Thu Mar 1 04:17:43 EST 2007


Timothy Y. Chow: 

> My suggestion is that, in order to avoid arguments about contentious
> topics that are tangential to your (first) main question, you rephrase
> your question as follows:
> 
> For suitable "X", one can say that ZFC = logic + AxInf + X.  Just how
> weak can "X" be made to be?

I take it by "logic" you mean FOL?

CC

__________________________________________________
Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
http://mail.yahoo.com 


More information about the FOM mailing list