数学结构主义

数学结构主义是数学哲学术语。在数学哲学中，结构主义(构造主义)认为要证明一个数学对象存在就必须把它构造出来。如果假设一个对象不存在并从该假设推导出一个矛盾，对于结构主义者来说不足以证明该对象存在。见构造式证明。