ABSTRACT
Corresponding results are true for Language I also: if ©x is the analogously constructed sentence to © in I (‘ ^ BewSatz (r, subst
(such as ‘ ^ BewSatz (r, c) where c is the series-number of ^ 9t). Then SBj is analytic but irresoluble in I. The non-contradictoriness of Language I (the non-demonstrability of some sentences in I) cannot be proved by the means at the disposal of I.
