Bourbaki and foundations

Lawrence Paulson lp15 at
Sun May 15 05:23:38 EDT 2022

Maybe it’s not needed. But it’s obviously true. More plausible than AC by far.

Larry Paulson
On 14 May 2022, 21:53 +0100, Tennant, Neil <tennant.9 at>, wrote:

Certainly those students shouldn’t mock AC.
But EFQ is an altogether different kettle of fish!
It’s needed NOWHERE in foundations.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220515/deb2f1fe/attachment-0001.html>

More information about the FOM mailing list