Similar to "巴塔木数理逻辑儿歌"