Интерпретации арифметики Пресбургера в себядоклад на конференции