为何宇宙本体的语言是semantic knowledge graph, 而非罗素等数理逻辑派的纯数学公理体系。是因为歌德尔德数