Bourbaki and foundations

[Lawrence Paulson]

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 osu.edu>, 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>