Degrees of insolubility of extensions of arithmetic by true propositions
scientific article