[FOM] Why not this theory be the foundational theory of mathematics?

Colin McLarty colin.mclarty at case.edu
Wed Mar 27 20:00:54 EDT 2019

I am curious to know what this means:

On Wed, Mar 27, 2019 at 7:55 PM Thomas Klimpel <jacques.gentzen at gmail.com>

(The category of all sets is
> specified by a sort of "last word quantification", but this is
> troublesome for a foundational theory. A foundational theory should
> lay down the first words, not insist on having the last word.)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20190327/caacea67/attachment-0001.html>

More information about the FOM mailing list