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.

Top-writer in Science. M.A. in Philosophy. And my favorite science fictions are Metropolis and King Kong.