有该性质的物体或概念的存在性。也可以构造一个反例，来证明命题是错误的。例如证明命题“2的质数次幂减一后不总是质数”，便可用构造法：有些构造法证明中并不直接构造满足命题要求的例子，而是构造某些辅助性的工具或对象，使得问题更容易解决。一个典型的例子是常微分方程稳定性理论中的李亚普诺夫函数的构造。又如许多几何证明题中常常用到的添加辅助线或辅助图形的办法。
非构造性证明.与构造法证明相对的是非构造性证明，即不给出具体的构造而证明命题所要求对象的存在性的证明方法。比如下面例子：在这个