Формализация понятия исследовательской головоломки