Formal Systems are a type of logic based upon deductive reasoning and a formal language. They use a high level of abstraction to remove successive levels of detail and capture the structure of a deductive system of reason in its most basic form within symbolic notation. Examples of formal systems can be found in mathematics, computer science, logic and many other areas. The two central characteristics of a formal system are the usage of deductive reasoning and formal languages.