[FOM] How much of math is logic?

Timothy Y. Chow tchow at alum.mit.edu
Fri Mar 2 11:56:58 EST 2007


Cristian Cocos <cristi at ieee.org> wrote:

> Timothy Y. Chow: 
> > 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?

No.  I left it deliberately vague, because that is part of what Joe 
Shipman is asking.  The respondent to the question should specify the 
definition of logic that he or she is using.

Tim


More information about the FOM mailing list