Description: The reasons of rise of the concept, formulated by the Gedel, of incompleteness for the formalized languages and natural language are considered and some paths of a solution of a problem of a deducibility of the true assertions in indicative formalisms are discussed. The significance of the given problem for construction of pattern recognition systems is defined.