Jak tworzy się dobre formalizacje?

The formalization of the set of beliefs expressed in the language concerned, consists in translating them into the sentences of another language. The characteristic of a good formalization is that the target language is correctly chosen and the translations precisely reflect the meaning of the original sentences. In the paper a formalization of ontology of situations (given by Professor Bogusław Wolniewicz) is discussed, which is an example of a perfect solution of the problem.