[FOM] First Order Logic

[Monroe Eskew]

On Aug 25, 2013, at 12:59 PM, Harvey Friedman <hmflogic at gmail.com> wrote:

> Furthermore, first order logic is apparently the unique vehicle for such foundational purposes. (I'm not talking about arbitrary interesting foundational purposes). However, we still do not know quite how to formulate this properly in order to establish that first order logic is in fact the unique vehicle for such foundational purposes. 

Dear Prof. Friedman,

Can you explain the imprecise sense in which you see this as true?  Are there some theorems which seem to come close to this broader thesis?

Thanks,
Monroe