
Re: POLL: Is Cantor's Theorem 1st Order Logic or 2nd Order Logic?
Posted:
Dec 23, 2011 9:00 AM


In article <3d1d3edb5657496c9e88b122a382540c@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?

