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 26, 2013 11:45 AM


On 26/04/2013 9:40 AM, Zuhair 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.
What does it mean for a formal system to be "true"?
> > 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? >
  There is no remainder in the mathematics of infinity.
NYOGEN SENZAKI 



