Re: 1-1/2+1/3-1/4+1/5-1/6+1/7



Tim Little wrote:

On 2008-02-05, G Frege <nomail@invalid> wrote:

You might consider MK set theory for example. Very nice system.

Oh, right. I have seen that one before but forgot about it.

Of course, this set theory is useless to those who claim that ZFC is
too counterintuitive, and especially those who claim that ZFC is
inconsistent: it strictly extends ZFC, and contains a proof of the
consistency of ZFC.

Hardly any references on the Internet .. ??

Han de Bruijn

.



Relevant Pages

  • Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
    ... this set theory is useless to those who claim that ZFC is ... it strictly extends ZFC, and contains a proof of the ...
    (sci.math)
  • Re: Aleph One Sets
    ... >> except to set theory specialists. ... you're explaining the TRUTH to some IDIOT: ... The axioms of ZFC were not handed down by God. ...
    (sci.logic)
  • Re: Countable models of ZFC
    ... Might not some set be the domain of a model of ZFC? ... I thought you were talking about the intended model. ... underpinnings of your mathematics. ... think they can understand the first-order language of set theory. ...
    (sci.logic)
  • Russels Revenge
    ... (axiomatic set theory might be accepted better) ... although it is ofcourse my own revenge, in the spirit of Russel. ... no name calling, just an overview of the foundations, axiomatic systems or whatever you want to call them. ... ZFC was ' suppose to ' resolve russels paradox. ...
    (sci.math)
  • Re: lets turn the tables
    ... ZFC goes ... NFU+~Infinity contradicts Aatu's classical philosophy. ... basic principles of set theory compelling and evident. ... feel the same way about their respective theories as Aatu ...
    (sci.math)