Это суждение (или система суждений) содержащие в себе теоретически осознанный вопрос, при этом не существует известного алгоритма его решения, а решение этого вопроса имеет (должно иметь) существенную новизну