Re: Implementable Set Theory and Consistency of ZFC



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.

--
"[The author of the article] refuses to comment further. '/Nonlinear
Analysis/ editors have evaluated the paper, they accepted it for
publication and they have the copyright of its contents - and thus
they are responsible for its correctness,' she [said]."
.



Relevant Pages