Одна из конструкций математической логики рассматривает бессмертного агента, который в каждый момент времени должен либо совершить действие, либо формально доказать, что он совершит это действие в один из последующих моментов времени. Название этой конструкции состоит из двух слов, начинающихся на одну и ту же букву. Напишите это название.