In contrast, a constructive proof establishes that a particular object exists by providing a method of finding it.
Αντίθετα, μια κατασκευαστική απόδειξη στηρίζει την ύπαρξη ενός αντικειμένου δίνοντας μια μέθοδο εύρεσής του.