上帝之所以存在是因为数学是相容的而魔鬼之所以存在是因为我们不能证明数学是相容的。——Andre Weil