an another question
- From: Gc <Gcut667@xxxxxxxxxxx>
- Date: Sat, 29 Dec 2007 06:30:43 -0800 (PST)
Is there any sentence undeciable in ZFC, such that it is proved that
this sentence is not equivalent to con(ZFC), con(conZFC).... etc and
it doens`t imply ~con(ZFC), or ~con(con(ZFC) etc. Is however certain
that this kind of sentences does exist?
.
- Follow-Ups:
- Re: an another question
- From: Daryl McCullough
- Re: an another question
- From: Gc
- Re: an another question
- Prev by Date: Re: a question
- Next by Date: Re: an another question
- Previous by thread: Logical Options
- Next by thread: Re: an another question
- Index(es):