The Formal Systems

A Formal System is something created that allow you to answer some questions or to solve some problems. A Classic Formal System (Strongly Deterministic Formal Systems) is a system in which the answer to any ques- tion we can get a finite number of steps. In the article we consider some properties of the Formal Systems.