О расширениях арифметики и модальных теорияхтезисы доклада