Some popular methods of proofs are non-constructive. For example you can take a look at the probabilistic method used by Paul Erdős and others.