数学では、証明過程の概略を概念実証と呼ぶことがあり、既知の技法や手法でその証明が可能であることを原理的に示す。
在数学中，构造性证明是证明方法的一种，通过直接或间接构造出具有命题所要求的性质的实例来完成证明。