有限数学是什么?为什么提出这个概念?