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