正證法

正證法，是超理學一種重要證明方法。在超理數學中被廣泛使用，在其他領域也有應用。

其基本步驟為：先選擇一個命題，假設該命題正確，以該命題為基礎進行推理，如果沒有推出矛盾，則該命題是真命題。

正證法與說不準原理同時使用可以完成許多重要結論的證明：哪怕推出一個與條件矛盾的命題，根據說不準原理，它們也同時為真，則該命題是真命題。