[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>
wrote
(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.)
>
Colin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20190327/caacea67/attachment-0001.html>
More information about the FOM
mailing list