命题要求的例子，而是构造某些辅助性的工具或对象，使得问题更容易解决。一个典型的例子是常微分方程稳定性理论中的李亚普诺夫函数的构造。又如许多几何证明题中常常用到的添加辅助线或辅助图形的办法。
非构造性证明.与构造法证明相对的是非构造性证明，即不给出具体的构造而证明命题所要求对象的存在性的证明方法。比如下面例子：在这个证明里并没有给出使得formula_17是有理数的两个具体的无理数。
穷举法.是一种列举出命题所包含的所有情况从而证明命题的方法。例如证明“