Метатеоретические свойства натурального выводатезисы доклада