Re: Implementable Set Theory and Consistency of ZFC

MoeBlee wrote:

On Oct 12, 12:56 pm, Han.deBru...@xxxxxxxxxxxxxx wrote:

On 12 okt, 21:32, MoeBlee <jazzm...@xxxxxxxxxxx> wrote:

On Oct 12, 12:09 pm, Han.deBru...@xxxxxxxxxxxxxx wrote:

On 12 okt, 04:44, "Peter Webb" <webbfam...@xxxxxxxxxxxxxxxxxxxxxxxxx>
wrote:

So your actual claim is somewhat stronger, that ZF is inconsistent?

Apparently, yes. Because ZF contains Infinity.

Wrong. ZF has the axiom of infinity, but, by Godel's consistency
result, the claim that ZF is inconsistent is no stronger a claim than
that ZFC is inconsistent.

Who is wrong here? The guy who said that ZF is
somewhat stronger than ZFC

Did anyone say tht ZF is stronger than ZFC? Obviously, ZF is not
stronger than ZFC.

or the guy who said
that ZF is inconsistent as well?

"as well" as what? As to whether ZF is inconsistent, we havent' seen a
proof that it is.

If my proof that ZFC is inconsistent is valid (I said: if) then it's
also true that ZF is inconsistent. And some guy named that a stronger
result.

Han de Bruijn

.

Relevant Pages

  • Re: Implementable Set Theory and Consistency of ZFC
    ... the claim that ZF is inconsistent is no stronger a claim than ... somewhat stronger than ZFC ... As to whether ZF is inconsistent, we havent' seen a ...
    (sci.math)
  • Re: Implementable Set Theory and Consistency of ZFC
    ... ZF has the axiom of infinity, but, by Godel's consistency ... the claim that ZF is inconsistent is no stronger a claim than ... that ZFC is inconsistent. ...
    (sci.math)
  • 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)
  • Re: Rational numbers, irrational numbers: each dense in real numbers
    ... And your "arguments" as to your opinion that ZFC is inconsistent are ... specified transfinite recursion schema not defined for ordinals up to ... The property that there remains an uncountable number or irrationals ...
    (sci.math)
  • Re: Orlow cardinality question
    ... >>Martin Shobe said: ... (Especially ZFC). ... > There power set of A, ... >>I have shown that it makes assumptions that are inconsistent with other ...
    (sci.math)