Re: First Order Logic/status

Dear Harvey Friedman and all:

let me direct your attention to a paper of mine that addresses the issue of why 
"FOL is the only appropriate vehicle for the foundations of mathematics". I 
should warn you that the paper is historico-philosophical in nature, but you 
could read superficially the historical parts and go to the systematic heart of 
the matter. Here is the link:

http://www.math.ucla.edu/~asl/bsl/0704-toc.htm

Best regards,
Jose Ferreiros