Em matemática, ou ainda na filosofia, uma demonstração ou prova construtiva é uma demonstração da existência de certo objeto matemático através da sua construção. Uma demonstração construtiva fornece um algoritmo para obter o objeto em questão. Uma demonstração construtiva não pode fazer apelo aos axiomas do infinito nem ao princípio do terceiro excluído.
Uma demonstração construtiva de existência não pode ser baseada em mostrar a impossibilidade da inexistência.