It can be interpreted as an analogy for a formal system — an encapsulation of mathematical and logical concepts using symbols.
This idea can be interpreted as a metaphor for a formal system, where mathematical and logical concepts are represented using symbols.