[FOM] Golden Age?

Alexander M Lemberg sandylemberg at juno.com
Tue Sep 23 11:27:15 EDT 2003

I noticed the following in the Simpson posting referred to:

"....in the present historical era, the orthodox and almost universally
accepted explication of mathematical rigor is formal provability in ZFC,
Zermelo-Frankel set theory with the axiom of choice."


More information about the FOM mailing list