You are now going to be randomly divided into 3 break-out rooms.

Please try to discuss the question "What is a formal system ?" and why does Douglas Hofstadter represents it as a "tree" in his marvelous book "Godel, Escher, Bach" ?