Группа создана в рамках конкурса исследовательских проектов научно-учебных групп Программы «Научный фонд НИУ ВШЭ» (НУГ).

На факультете математики ВШЭ с 2012-го года постоянно действует научно-исследовательский семинар по математической логике, на котором регулярно выступают студенты, преподаватели и приглашенные специалисты. В рамках семинара сложилась группа студентов и преподавателей, работающих в таких областях математической логики как теория доказательств, неклассические логики и теория моделей. Участников научной группы особенно интересуют вопросы, связанные с границами выполнимости второй теоремы Гёделя о неполноте, логикой доказуемости, топологической модальной логикой и формальной арифметикой.