"Диофантовы уравнения и доказуемость в математике" - читать интересную книгу автора (Мороз Б.З.)