Re: Extrapolating linear ratios

On 20 Dez., 20:09, george <gree...@xxxxxxxxxxxxx> wrote:

But you really do need to remember that
there ALWAYS WAS, FROM THE BEGINNING,
A DIFFERENT possible resolution of this, namely,
TO DENY THE AXIOM OF FOUNDATION and to declare, from the beginning,
that OF COURSE a set of ALL sets would HAVE to contain itself as a
member.

And this would lead to the well known result that the power set has
not a larger cardinal than the set.

Everybody has to give WM credit for observing that
"ZFC is a theory of every thing except everything".

But eyerything is also a "thing".

Regards, WM
.

Relevant Pages

  • Re: True = [ proven | provable ]
    ... you can deny 0 is a number, but then 1+1 may not equal 2. ... then "breakfast mirror breakfast ticket razor" may not always be true. ... there are few allowed truths as part of proof systems themselves, ... A axiom ...
    (sci.logic)
  • Re: True = [ proven | provable ]
    ... you can deny 0 is a number, but then 1+1 may not equal 2. ... then "breakfast mirror breakfast ticket razor" may not always be true. ... there are few allowed truths as part of proof systems themselves, ... A axiom ...
    (comp.theory)
  • Re: True = [ proven | provable ]
    ... you can deny 0 is a number, but then 1+1 may not equal 2. ... then "breakfast mirror breakfast ticket razor" may not always be true. ... there are few allowed truths as part of proof systems themselves, ... A axiom ...
    (sci.math)
  • Re: [OT]: Ping Kevin Aylward - re your "scientific paper"
    ... >> I read in sci.electronics.design that Don Pearce ... That makes it an axiom. ... > So if I declare an axiom that black is, in fact white - I can build a ... HOw do you think people get Phds in math? ...
    (sci.electronics.design)
  • Re: McGwire hitting lesson
    ... Deny any wrongdoing. ... I do not think the United States would come to an end if ... we lost our power to declare an Act of Congress void. ...
    (rec.sport.football.college)
Quantcast