数学对象

数学对象（Mathematical object）是数学中的抽象概念。用数学的普通语言来说，对象是任何可以或已经用演绎推理和数学证明正式定义的对象。一般地，一个数学对象可以是一个能代入变数的值，从而可以用于公式里。经常遇到的数学对象包括数、集合、函数、表示式、几何形状、其他数学对象的变换和空间。数学对象可以非常复杂。比如说，定理、证明甚至理论在证明论中被视为数学对象。