[FOM] How much of math is logic?

[Timothy Y. Chow]

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