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?