[FOM] A FOL truth behind the Cantor lemma

[Richard Grandy]

 There is a first order logical truth that seems to me to be an even more general and fundamental principle behind Cantor's lemma.

I don't remember where I first saw this noted, I vaguely think it may have been in something by Richard Cartwright.  It makes a nice exam question in either semantic or derivational version.


Richard Grandy
Philosophy & Cognitive Sciences
Rice University
Houston TX (still in the USA so far)




-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20150814/93b0ce00/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: First order Cantor formula.pdf
Type: application/pdf
Size: 18628 bytes
Desc: not available
URL: </pipermail/fom/attachments/20150814/93b0ce00/attachment.pdf>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20150814/93b0ce00/attachment-0001.html>