[FOM] First Order Logic/status

josef@us.es josef at us.es
Thu Oct 26 13:32:44 EDT 2006

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:


Best regards,
Jose Ferreiros

More information about the FOM mailing list