Discourse in the information formal model; inquiry whether A.P. Ershov would consent to be an opponent for a series of works called "System approach to mathematical language description"