Re: FOL & completeness
- From: "bargiax" <bargiax@xxxxxxxxxxx>
- Date: Mon, 17 Jul 2006 12:21:00 +0200
"Rupert" <rupertmccallum@xxxxxxxxx> wrote:
The valid formulas are the ones that are true in every model. The
Goedel sentence is just true in the standard model.
Can you show me a model in which the Goedel sentence is not true?
.
- Follow-Ups:
- Re: FOL & completeness
- From: Rupert
- Re: FOL & completeness
- References:
- FOL & completeness
- From: bargiax
- Re: FOL & completeness
- From: Pierre Asselin
- Re: FOL & completeness
- From: bargiax
- Re: FOL & completeness
- From: Rupert
- FOL & completeness
- Prev by Date: Re: TeX for logic.
- Next by Date: Re: Set theory ZFC is inconsistent.
- Previous by thread: Re: FOL & completeness
- Next by thread: Re: FOL & completeness
- Index(es):
