Понятие арифметической реализуемоститезисы доклада