数学家陈省身指出：“数学是一门演绎的学问，从一组公设，经过逻辑的推理，获得结论