Formal system

A formal system is like a set of rules. It is like a game where all of the players need to follow the same rules in order to play fairly. The rules tell the players what they can and cannot do. The goal of a formal system is to make sure that all of the players have a fair and equal chance of succeeding.