Re: Implementable Set Theory and Consistency of ZFC

Jesse F. Hughes wrote:

Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> writes:

Marshall wrote:

2) ZFC, without Infinity.
3) ZFC, with the negation of Infinity.
Is it clear why 2) and 3) are different?

Not to me. I don't know what Foo is and I don't know what ~Foo is.

Weird. You have repeatedly said that there are no infinite sets.
Now, evidently, you don't know what that means.

You're mixing up my _intuitive_ notion of the infinite and your _formal_
"definition" of it. Yes. I know what I mean by "no infinite sets", but
the whole problem is to communicate that meaning with you and your kind.

Han de Bruijn

.

Relevant Pages