 Thread starter
 #1
Mathelogician
Member
 Aug 6, 2012
 35
Look at the picture; i need to know why the red part holds?
I mean in T*, we have added proper constants to all 'existential formed' sentences of T. So what would remain from such formulas that the red part mentions and that we use the lemma 3.1.8 to overcome the problem?
   Updated   
And the other question is that is the axiom set of T* what is said in the image or there must be a Gama instead of T in the definition 3.1.6?
I mean in T*, we have added proper constants to all 'existential formed' sentences of T. So what would remain from such formulas that the red part mentions and that we use the lemma 3.1.8 to overcome the problem?
   Updated   
And the other question is that is the axiom set of T* what is said in the image or there must be a Gama instead of T in the definition 3.1.6?
Attachments

43.1 KB Views: 16