Idea. A formal theory is meaningless without context [0002]

Without contextualizing a formal theory with a model, it is purely syntactic and carries no semantics.