数学概念的形式推广