構造性證明

構造性證明  是數學證明方法的一種 ， 通過直接或間接構造出具有命題所要求的性質的實例來完成證明 。 與構造性證明相對的概念是非構造性證明 。 後者只證明滿足命題要求的物體存在 ， 而不提供具體的實例或構造這樣的實例的方法 。 構造性證明也可以指數學構成主義中被認可的一種更強的證明 。 數學構成主義是數學哲學的一支 ， 它認爲要證明一個對象的存在 ， 必須將其構造出來 。 因此 ， 他們拒絕使用如排中律 ， 無窮公理和選擇公理這樣的公理 。 同時也有一些用語和以往不同 ， 例如或的語意會比基礎數學中的更強 。 數學構成主義拒絕使用反證法 ， 然而爆炸原理在一些數學構成主義的變體中是被接受的 ， 包括直覺主義 。