Re: Who believes/believed that set theory is/was inconsistent?



george wrote:
> But the point in any case is
> that ZFC *decides* the question of the consistency of PA.

Sure, but this doesn't allow us to conclude that
doubting the consistency of PA implies believing that
ZFC is inconsistent.

.

Relevant Pages

  • Re: Cantors circular "proof" that evens = integers
    ... george wrote: ... it only follows that ZFC ... That is entirely meaningless. ... MANY DIFFERENT NON-isomorphic models, and EVERYthing ...
    (sci.logic)
  • Re: Extrapolating linear ratios
    ... PLEEEZE, george, DON'T argue in favor a complete crackpot. ... ASSHOLE, FULL OF SHIT!!! ... we can prove in ZFC: ...
    (sci.logic)
  • Re: Question on Chaitin
    ... george wrote: ... Both PA and ZFC ... > have only one binary predicate, and it is ... Prev by Date: ...
    (sci.logic)
  • Re: Question about the Diagonal Method.
    ... george writes: ... ZFC to appreciate the diagonal argument. ... - Ludwig Wittgenstein, Tractatus Logico-Philosophicus ...
    (sci.logic)
  • Re: Would it matter if ZF was inconsistent?
    ... a _claim_ that ZF is inconsistent ... Platonists are concerned with what they _believe_ to be true. ... Formalists use ZFC because it hasn't been proved inconsistent. ... and mutually exhaustive, for mathematicians who currently ...
    (sci.logic)
Quantcast