Аннотация:В работах С.Н Артемова определена и изучена логика доказательств LP, дающая арифметически полное описание отношений "доказательство - теорема" в арифметике. Доказательства представлены термами специального вида, в арифметической семантике им соответствуют числа, т.е., коды конкретных выводов в формальной арифметике. Задачей С. Чулевой было изучить результаты Артемова и рассмотреть арифметическую семантику, в которой переменные по доказательствам интерпретируются свободными переменными. Ею сформулирована логика доказательств, которая предположительно полна в рассматриваемой семантике, дано определение арифметической интерпретации и доказана корректность. Также рассматриваются содержательные примеры формул, невыводимых в этой логике, и приводятся арифметические интерпретации, превращающие их в невыводимые арифметические формулы. Доказательство полноты представляется достаточно сложным и пока не получено.