К вопросу об обратной математике модальной логикитезисы доклада