Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.



Re: About truth of theories?
Posted:
Apr 27, 2013 6:30 AM


On Apr 26, 6:40 pm, Zuhair <zaljo...@gmail.com> wrote: > If a theory T is true and S is a sentence of the form Ex(phi) that is > not a theorem of T but yet belonging to a theory interpretable in T, > then T+S is true.
No this is false. > > We maintain that if any two theories in the same language are true > then there cannot be a sentence of any of them that is the negation of > a sentence in the other. > > Now is there any contradiction with the above? > > If the above is true, wouldn't it solve the question about truth of > the axiom of choice and CH and GCH?



