A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"