A diagram showing the syntactic divisions within a formal system. Strings of symbols may be broadly divided into nonsense and well-formed formulas. The set of well-formed formulas is divided into theorems and non-theorems.
Own work based on: en:Image:Formal languages.png by Gregbard.
MithrandirMage