Remarks on the Incompleteness Proof
โ
Gerold Stahl
๐
Article
๐
1961
๐
John Wiley and Sons
๐
English
โ 447 KB
by GEROLD S r a m in Santiago-Cldc 111 tlic following two. basic ways of dcvclopping the incoinpletcncss proof will bo (A) Two laugungcs of diffcrcnt lcvcls arc uscd jointly t o provc incomplctcnoss. (B) The proof is dcvcloppcd' cxclusivcly in one languagc (number-thcorctic language).