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