Some problems of completeness of arithmetic
scientific article; zbMATH DE number 3453588