Re: Independent independence

Herman Jurjus wrote:
Is there already an example known of a theorem for which the statement
expressing its independence from ZFC is itself independent from ZFC?

"ZFC is consistent" is such an example -- as is anything independent
of ZFC, as it happens. I suspect you're not asking the question you
really have in mind.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

Relevant Pages

  • Re: Set Theory: Should you believe?
    ... and this makes the independence results of set ... mathematics can't all be reduced to ZFC. ... Let me try to get at what the worry is. ...
    (sci.math)
  • Re: Independent independence
    ... expressing its independence from ZFC is itself independent from ZFC? ... the question becomes trivial if you think of 'the statement expressing independence' as something like: ...
    (sci.logic)
  • Re: Choice and ur-elements
    ... ur-elements, as well as with non-existence of ur-elements. ... but after Cohen proved the independence of choice from other ... axioms of ZFC, it is no longer demanded that a set theory should allow ...
    (sci.math)
  • Re: Second-order and Higher-order Logic
    ... Herman Jurjus schrieb: ... Does anyone know if it's possible to prove independence ... probably ZFC and 3rd order arithmetic is not enough. ... You need some forcing notion definitions as well. ...
    (sci.logic)
  • Re: ZFC means?
    ... But this thread is about *expressing* things. ... syntax we need to reach a point of understanding the terminology. ... ZFC is not such a theory. ... So the notion of "representable set" does not apply in any ...
    (sci.logic)