Re: Implementable Set Theory and Consistency of ZFC

In article <6eb5b$472ed3ba$82a1e228$6770@xxxxxxxxxxxxxxxx>,
Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> wrote:

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.

Han de Bruijn

Then you are in no position to criticize those who do.
.

Relevant Pages