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. (In Ukrainian)
File:Formal languages.svg
File:Formal languages.svg: MithrandirMage (talk)
derivative work: Olexa Riznyk (talk)