Is there a strictly non-constructive proof for every constructive proof?

135 Views Asked by At

An example of a non-strictly non-constructive proof: given a constructive proof of p, transform to a new proof of p via the lemma p & q where q is a fixed sentence that is classically but non constructively valid. By strictly non-constructive proof I mean that you prove p without constructing it.