It can be interpreted as an analogy for a formal system — an encapsulation of mathematical and logical concepts using symbols.
It can be viewed as a model of a formal system — an encapsulation of mathematical and logical concepts using symbols.