e/zh/构造性证明

Information
instance of	(noun) a formal series of statements showing that if one thing is true something else necessarily follows from it proof

Meaning
Chinese
has gloss	zho: 在数学中，构造性证明是证明方法的一种，通过直接或间接构造出具有命题所要求的性质的实例来完成证明。与构造性证明相对的概念是非构造性证明（有时也称为存在性证明或纯粹存在性证明）。后者只证明满足命题要求的物体存在，而不提供具体的实例或构造这样的实例的方法。
lexicalization	zho: 构造性证明