Mathematics+As+Language

=What is a Formal System?= This diagram shows 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.  source:[|formal language]  =**Reading and task: (or listen to the podcast and work the puzzle)** **[|here]**= ===The MU Puzzle originates in the fascinating book //[|Gödel, Escher, Bach: An Eternal Golden Braid] //which can be found in our library.===