正证法

正证法，是超理学一种重要证明方法。在超理数学中被广泛使用，在其他领域也有应用。

其基本步骤为：先选择一个命题，假设该命题正确，以该命题为基础进行推理，如果没有推出矛盾，则该命题是真命题。

正证法与说不准原理同时使用可以完成许多重要结论的证明：哪怕推出一个与条件矛盾的命题，根据说不准原理，它们也同时为真，则该命题是真命题。