https://nplus.wiki/godel-escher-bach/docs/01-mu-puzzle-formal-systems/Recent content in MU 謎題與形式系統 on 哥德爾、艾雪、巴赫：集異璧之大成Hugozh