Re: Extrapolating linear ratios

On Fri, 19 Dec 2008 15:50:41 -0800 (PST) george wrote:


remember, no good deed goes unpunished!

How right you are!


ZFC, ... claiming that its sets can be about "everything", ...

It doesn't claim that. It claims: "Everything is a set."

And that's true. Meaning: Everything in its universe is a set!

Proof:

Define: set x :<-> x = x.

Then
Ax(set x)
"Everything is a set."
qed.


...there is no universal set.

So what? Since it's universe is not a member of its universe, it NEED NOT
be a set. Still everything there is (in the universe of ZFC, that is) is a
set.


Herb
.

Relevant Pages

  • Re: A puzzle for Cantorists
    ... proper superset, of N. ... is shown to be true for a countable model of ZFC with very different ... (The reals are consistently equivalent to each of a wide ... that attempt to acknowledge a universe of sorts while maintaining the ...
    (sci.math)
  • Re: Small Set theory:Revised.
    ... Ax.5: Axiom of choice. ... Universe: Ev Ay. ... Let a be a set that is not empty. ... If this theory is consistent it should be something more than ZFC, ...
    (sci.math)
  • Re: Small Set theory:Revised.
    ... Ax.5: Axiom of choice. ... Universe: Ev Ay. ... Hence the existence of is not ... If this theory is consistent it should be something more than ZFC, ...
    (sci.math)
  • Re: Cantor Confusion
    ... So the EC-states, after all, are in ZFC. ... Linking up set theory with any other universe of discourse does ... I am especially interested in the growing number and the growing set. ...
    (sci.math)
  • Re: Extrapolating linear ratios
    ... Meaning: Everything _in its universe_ is a set! ... certain universe here, in the given context, ZFC, to the universe of ZFC.) ... PLEEEZE, george, DON'T argue in favor a complete crackpot. ...
    (sci.logic)