On Some Applications of the Semantic Evaluation Method

A computer-oriented system of the semantic evaluation of statements is suggested. Its properties are studied and the corresponding propositions are proved. In particular, the possibility of reconstructing an object from a proof of its existence is shown, and the possibility of transferring various properties from ordered fields to special ordered rings is demonstrated (among such properties are Hilbert and Artin theorems, including upper bounds in them).