[FOM] Foreman's preface to HST

Marc Alcobé malcobe at gmail.com
Mon Apr 26 16:16:03 EDT 2010

Let me explain one sense in which I feel that the Preface is biased.
The idea it seems to convey is that after first-order logic and ZFC,
no foundational effort other than searching for new axioms settling
mathematical problems proven independent of ZFC is necessary. I guess
not much people outside set theory would agree with that...

More information about the FOM mailing list