In the long run I hope to establish, what I got to call, the mathematics ov thought. The collection of formal methods, where in the first place comes always the idea, or a concept, which does not need complete formal realization, in order to be considered formal. On the contrary to current formal methods I propose redefinition of the idea of formality. Instead of being rigorous set of axioms, tightly specifying the properties of the structure, I propose treating formality as a property of particular object and the concept of formality as the semi-abstract metric space.