[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