Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: POLL: Is Cantor's Theorem 1st Order Logic or 2nd Order Logic?
Replies: 11   Last Post: Dec 24, 2011 3:55 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Matthew Lybanon

Posts: 20
Registered: 12/13/04
Re: POLL: Is Cantor's Theorem 1st Order Logic or 2nd Order Logic?
Posted: Dec 23, 2011 9:00 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

In article
<3d1d3edb-5657-496c-9e88-b122a382540c@n22g2000prh.googlegroups.com>,
Graham Cooper <grahamcooper7@gmail.com> wrote:

> A(f): [ E(r): A(n): f(n)=/=r ]
>
> 1. FOL
> 2. 2OL
> 3. HOL
> 4. Not a logical formula
>
>
>
> Herc


Is this a matter that can be decided by a poll?



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.