ДОКАЗАТЕЛЬСТВО КОНСТРУКТИВНОЕ — Вывод утверждения в логическом исчислении, который обеспечивает явное построение всех элементов, участвующих в выводе. Таковым не является, например, широко распространенный способ доказательства "от противного", используемый в классической математике.