It is a good question, Marcus. I would say it implies a philosophical comparison, but a "non-constructive proof" is proof by deduction because it is mathematical proof. However, it says something exists and doesn't show it, and people like Kronecker have a few problems with it.