Аксиоматические теории в аппликативных вычислительных системахтезисы доклада