脱式计算,数学的