Math Forum
http://mathforum.org/kb
List of forum topicsenRe: About truth of theories?
http://mathforum.org/kb/thread.jspa?messageID=8900060&tstart=0#8900060
> If a theory T is true and S is a sentence of the form]]>Apr 27, 2013 6:30:14 AMApr 27, 2013 6:30:14 AMZaljohar@gmail.com0Re: About truth of theories?
http://mathforum.org/kb/thread.jspa?messageID=8899648&tstart=0#8899648
> If a theory T is true and S is a sentence of the form Ex(phi) that is > not]]>Apr 26, 2013 11:45:02 AMApr 26, 2013 11:45:02 AMnamducnguyen@shaw.ca0About truth of theories?
http://mathforum.org/kb/thread.jspa?messageID=8899646&tstart=0#8899646
not a theorem of T but yet belonging to a theory interpretable in T, then]]>Apr 26, 2013 11:40:25 AMApr 26, 2013 11:40:25 AMZaljohar@gmail.com2