Re: GCH vs. Axiom of Choice.
From: denis feldmann (denis.feldmann_at_wanadoo.fr)
Date: 12/14/04
- Next message: denis feldmann: "Re: Where am I going wrong?"
- Previous message: Robert Israel: "Re: Moments over a Simplex"
- In reply to: J.E.: "Re: GCH vs. Axiom of Choice."
- Next in thread: rupertmccallum_at_yahoo.com: "Re: GCH vs. Axiom of Choice."
- Messages sorted by: [ date ] [ thread ]
Date: Tue, 14 Dec 2004 19:33:59 +0100
J.E. a écrit :
>> I'm assuming "sentance" is just a misspelling of "sentence", and
>
> not
>
>>a new technical term. Given your explanation, why is Con(ZF) not
>>an FO sentence?
>
>
> Yeah, I can't spell, nothing new. My understanding of Con(ZF) is
> something like: "For every FO sentence S, it is not the case that both
> S and ~S are implied by the conjuction of the axioms of ZF".
Well, your understanding is shallow
It
> quantifies over sentences, something I don't know how to do within a
> formal sentence.
>
Exactly, that's why it is shallow. After so many messages pontificating
on models, logic, Skolem, and so on, you have still not caught the idea
of Gödel coding? Amazing.
- Next message: denis feldmann: "Re: Where am I going wrong?"
- Previous message: Robert Israel: "Re: Moments over a Simplex"
- In reply to: J.E.: "Re: GCH vs. Axiom of Choice."
- Next in thread: rupertmccallum_at_yahoo.com: "Re: GCH vs. Axiom of Choice."
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
