Constructive proof

математика конструктивное доказательство

Англо-русский научно-технический словарь

Constructive proof

A proof that something exists that provides an example or a method for actually constructing it. Constructive proofs are popular in theoretical computer science, both because computer scientists are less given to abstraction than mathematicians and because intuitionistic logic turns out to be an appropriate theoretical treatment of the foundations of computer science.

Free Online Dictionary of Computing