"上帝之存在是因为数学是相容的,而魔王之存在是因为我们不能证明数学是相容的“